Locally Finite LanguagesReport as inadecuate




Locally Finite Languages - Download this document for free, or read online. Document in PDF available to download.

1 ELM - Équipe de Logique Mathématique

Abstract : 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 ,



Author: Olivier Finkel -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents