Content deleted Content added
→Overall confusion: clarification |
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: |
||
| (9 intermediate revisions by 6 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 ==
Line 13 ⟶ 19:
:: "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)
| |||