Reduced languages as ω-generators

  • Authors:
  • Sandrine Julia;Tran Vinh Duc

  • Affiliations:
  • Université de Nice, Sophia Antipolis, Laboratoire I3S, CNRS, Sophia Antipolis Cedex, France;Thang Long School of Technology

  • Venue:
  • DLT'07 Proceedings of the 11th international conference on Developments in language theory
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We consider the following decision problem: "Is a rational ω-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 ω-generators in order to obtain codes as ω-generators.