Codes and infinite words

  J. Devolder M. Latteux I. Litovsky L. Staiger

Abstract:

  Codes can be characterized by their way of acting on infinite words. Three kinds of characterizations are obtained. The first characterization is related to the uniqueness of the factorization of particular periodic words. The second characterization concerns the rational form of the factorizations of rational words. The third characteristic fact is the finiteness of the number of factorizations of the rational infinite words. A classification of codes based on the number of factorizations for different kinds of infinite words is set up. The obtained classes are compared with the class of -codes, the class of weakly prefix codes and the class of codes with finite deciphering delay. Complementary results are obtained in the rational case, for example a necessary and sufficient condition for a rational -code to have a bounded deciphering delay is given.

  Résumé: La factorisation des mots infinis permet de caractériser les codes parmi les langages de mots finis. Les critères obtenus sont de trois types. Le premier critère est relatif à l'unicité de la factorisation de certains mots périodiques. Le second concerne la forme des factorisations des mots rationnels. Finalement, seuls les codes nous assurent de la finitude du nombre de factorisations des mots rationnels. Les codes sont classifiés selon le nombre de factorisations de certains types de mots infinis. Les classes obtenues sont étudiées et comparées avec les classes déjà définies de -codes, de codes faiblement préfixes et de codes à délai borné. Des résultats complémentaires sont obtenus dans le cas rationnel, en particulier il est donné une condition nécessaire et suffisante pour qu'un -code rationnel soit à délai borné.

 Gyenizse Pal 1996. Szeptember 4. Szerda 11:27:21 MET DST