107 research outputs found
Bifix codes and interval exchanges
We investigate the relation between bifix codes and interval exchange
transformations. We prove that the class of natural codings of regular interval
echange transformations is closed under maximal bifix decoding.Comment: arXiv admin note: substantial text overlap with arXiv:1305.0127,
arXiv:1308.539
On the group of a rational maximal bifix code
We give necessary and sufficient conditions for the group of a rational
maximal bifix code to be isomorphic with the -group of , when
is recurrent and is rational. The case where is uniformly
recurrent, which is known to imply the finiteness of , receives
special attention.
The proofs are done by exploring the connections with the structure of the
free profinite monoid over the alphabet of
Embedding a -invariant code into a complete one
Let A be a finite or countable alphabet and let be a literal
(anti-)automorphism onto A * (by definition, such a correspondence is
determinated by a permutation of the alphabet). This paper deals with sets
which are invariant under (-invariant for short) that is,
languages L such that (L) is a subset of L.We establish an extension
of the famous defect theorem. With regards to the so-called notion of
completeness, we provide a series of examples of finite complete
-invariant codes. Moreover, we establish a formula which allows to
embed any non-complete -invariant code into a complete one. As a
consequence, in the family of the so-called thin --invariant codes,
maximality and completeness are two equivalent notions.Comment: arXiv admin note: text overlap with arXiv:1705.0556
Specular sets
We introduce the notion of specular sets which are subsets of groups called
here specular and which form a natural generalization of free groups. These
sets are an abstract generalization of the natural codings of linear
involutions. We prove several results concerning the subgroups generated by
return words and by maximal bifix codes in these sets.Comment: arXiv admin note: substantial text overlap with arXiv:1405.352
Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms
Let be a finite or countable alphabet and let be literal
(anti)morphism onto (by definition, such a correspondence is determinated
by a permutation of the alphabet). This paper deals with sets which are
invariant under (-invariant for short).We establish an
extension of the famous defect theorem. Moreover, we prove that for the
so-called thin -invariant codes, maximality and completeness are two
equivalent notions. We prove that a similar property holds in the framework of
some special families of -invariant codes such as prefix (bifix) codes,
codes with a finite deciphering delay, uniformly synchronized codes and
circular codes. For a special class of involutive antimorphisms, we prove that
any regular -invariant code may be embedded into a complete one.Comment: To appear in Acts of WORDS 201
Cross-Bifix-Free Codes Within a Constant Factor of Optimality
A cross-bifix-free code is a set of words in which no prefix of any length of
any word is the suffix of any word in the set. Cross-bifix-free codes arise in
the study of distributed sequences for frame synchronization. We provide a new
construction of cross-bifix-free codes which generalizes the construction in
Bajic (2007) to longer code lengths and to any alphabet size. The codes are
shown to be nearly optimal in size. We also establish new results on Fibonacci
sequences, that are used in estimating the size of the cross-bifix-free codes
- …