Locally Finite Languages

Olivier Finkel (1)

1 ELM - Équipe de Logique Mathématique

We investigate properties of locally finite languages introduced by J-P. Ressayre. These languages are defined by locally finite sentences and generalize languages recognized by automata or defined by monadic second order sentences. We give many examples, showing that numerous context free languages are locally finite. Then we study closure properties of the family LOC of locally finite languages, and show that most undecidability results that hold for context free languages may be extended to locally finite languages. In a second part, we consider an extension of these languages to infinite and transfinite length words. We prove that each alpha-language which is recognized by a Büchi automaton ( where alpha is an infinite ordinal and alpha < omega^omega ) is defined by a locally finite sentence. This result, combined with a preceding one provides a generalization of Büchi's result about decidability of monadic second order theory of the structure (alpha , <).

Domaines: Logique en informatique [cs.LO]; Logique [math.LO]

Olivier Finkel. Locally Finite Languages. Theoretical Computer Science, 2001, 255 (1-2), pp.223-261. ⟨hal-00102491⟩