Reduced languages as omega-generators

Sandrine Julia (1) , Vinh Duc Tran (1)

1 Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe MC3

We consider the following decision problem: “Is a rational omega-language generated by a code ?” Since 1994, the codes admit a characterization in terms of infinite words. We derive from this result the definition of a new class of languages, the reduced languages. A code is a reduced language but the converse does not hold. The idea is to “reduce" easy-to-obtain minimal omega-generators in order to obtain codes as omega-generators.

Mots clés: Formal languages; Infinite words; Codes

Domaines: Mathématique discrète [cs.DM]; Combinatoire [math.CO]

Sandrine Julia, Vinh Duc Tran. Reduced languages as omega-generators. DLT 2007, Jul 2007, Turku, Finland. pp.266-277, ⟨10.1007/978-3-540-73208-2_26⟩. ⟨hal-00403286⟩