Content deleted Content added
Deltahedron (talk | contribs) Synchronizing word examples |
m Maintain {{WPBS}}: 3 WikiProject templates. Keep majority rating "Start" in {{WPBS}}. Remove 3 same ratings as {{WPBS}} in {{WikiProject Mathematics}}, {{WikiProject Computer Science}}, {{WikiProject Telecommunications}}. Tag: |
||
| (13 intermediate revisions by 7 users not shown) | |||
Line 1:
{{WikiProject banner shell|class=Start|1=
{{WikiProject Mathematics|priority=Low}}
{{WikiProject Computer science|importance=Low}}
{{WikiProject Telecommunications|importance=Low}}
}}
==Synchronizing word examples==
The examples under this section were removed [http://en.wikipedia.org/w/index.php?title=Self-synchronizing_code&curid=41687&diff=549855498&oldid=534709738] with edit summary ''rm poorly formulated examples ({"ab","ba"} is not a prefix code unless "a" and "b" are not characters but something else)''. This comment seems wrong because (i) the examples were sourced to page 138 of Berstel, Perrin & Reutenauer (2010) which seems an unimpeachably [[WP:RS|reliable source]] (ii) the comment is simply wrong: a [[prefix code]] is one for which "there is no valid code word in the system that is a prefix (start) of any other valid code word" and this is clearly true for {"ab","ba"} and for {b<sup>∗</
== Overall confusion ==
I am afraid that this article conflates two different sets of requirements. The first set, specified in the introduction, defines strict self-synchronisation, meaning that you can always detect when a part of transmitted data has been lost, and continue decoding without losing more words than those that were actually lost. The second set, taken from the book, defines statistically converging self-synchronisation, in that a transmission error causes several following parts to be corrupt but the decoder is expected to get back on track relatively quickly in most cases. The introduction says that both notions are equivalent.
In particular, the example {ab, ba} meets the second set but not the first one. Also note that a complete Huffman code, which is expected to meet the second set with almost surely, can never meet the first set.
--[[User:Yecril|Yecril]] ([[User talk:Yecril|talk]]) 22:02, 2 February 2014 (UTC)
:It would help to give [[WP:RS|reliable sources]] for the definitions you mention ("the book" is rather ambiguous) since the introduction does mention slightly different concepts without clarifying the relationship between them. As far as the section '''Synchronizing word''' is concerned, where you added the requests for clarification, what is it that is unclear? Your edit summaries were ''this probably means that both words xw and wy are accepted'', to which the answer is yes, and ''abab contains ba'' which needs, well, clarification. [[User:Deltahedron|Deltahedron]] ([[User talk:Deltahedron|talk]]) 22:45, 2 February 2014 (UTC)
:: "The book" refers to both books by Berstel (there are no other books mentioned in the article). The string 'abab' is a concatenation of two code words from the example that is declared self-synchronising; it contains another code word 'ba' inside it, which is prohibited by the definition in the introduction. Thank you for your consideration. --[[User:Yecril|Yecril]] ([[User talk:Yecril|talk]]) 11:34, 3 February 2014 (UTC)
:::Ah, I see. In other words, the code on {ab,ba} is synchronized (as abba is a synchronizing word) but not self-synchronizing (as abab contains ba). [[User:Deltahedron|Deltahedron]] ([[User talk:Deltahedron|talk]]) 17:38, 3 February 2014 (UTC)
:::: Huh? Currently this article claims that "Other terms for self-synchronizing code are synchronized code or ...". How can a code be a "synchronized code" but not a "self-synchronizing code" if both terms are synonyms?
:::: If I understand [[User:Deltahedron|Deltahedron]] and the books by Jean Berstel et. al. correctly, a set of codewords can be "synchronized" (there exists at least one synchronizing word) without necessarily being a "self-synchronizing code" (every pair of codewords is a synchronizing word).
:::: What should we do to fix this apparent contradiction? --[[User:DavidCary|DavidCary]] ([[User talk:DavidCary|talk]]) 19:04, 23 November 2015 (UTC)
| |||