Channel system (computer science): Difference between revisions

Content deleted Content added
explain why we're hatnoting Abyssal channel
m Looseness: syntax correction
Line 56:
 
=== Looseness ===
A '''lossy channel system''' or '''machine capable of lossinness error''' is an extension of completely specified protocol in which letters may disappear anywhere.
 
A lossy channel system admits two kinds of steps. Perfect steps, as defined above, and lossy step. We denote a lossy step, <math>(q,w_1,\dots,w_i\cdot a\cdot w'_i\dots,,w_m)\rightsquigarrow(q,w_1,\dots,w_i\cdot w'_i,w'_m)</math>.