Content deleted Content added
→Overall confusion: new section |
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: |
||
| (12 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 ==
Line 9 ⟶ 15:
--[[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)
| |||