Content deleted Content added
Incnis Mrsi (talk | contribs) rm poorly formulated examples ({"ab","ba"} is not a prefix code unless "a" and "b" are not characters but something else), low-relevance vocabulary details and unneeded <math>, added more scope |
Deltahedron (talk | contribs) restoring well-sourced examples, see talk page |
||
Line 10:
:{{math|size=120%| ''x w y'' ∈ ''X''<sup> *</sup> ⇒ ''x w'', ''w y'' ∈ ''X''<sup> *</sup> }}.<ref name=BPR137/>
A prefix code is synchronized if and only if it has a synchronizing word.<ref name=BPR138>Berstel et al (2010) p. 138</ref>
===Examples===
* The prefix code {''ab'',''ba''} has ''abba'' as a synchronizing word.<ref name=BPR138/>
* The prefix code ''b''<sup>∗</sup>a has ''a'' as a synchronizing word.<ref name=BPR138/>
==Examples==
| |||