Embeddings of local automata - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Illinois Journal of Mathematics Année : 2010

Embeddings of local automata

Résumé

We prove that any local irreducible automaton is contained in a complete one. The proof uses Nasu's masking lemma. We use the same technique to give a new proof that any weakly deterministic irreducible automaton is contained in a complete one.
Fichier principal
Vignette du fichier
hal.pdf (201.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00619770 , version 1 (06-10-2011)

Identifiants

  • HAL Id : hal-00619770 , version 1

Citer

Marie-Pierre Béal, Sylvain Lombardy, Dominique Perrin. Embeddings of local automata. Illinois Journal of Mathematics, 2010, 54 (1), pp.155-174. ⟨hal-00619770⟩
156 Consultations
131 Téléchargements

Partager

Gmail Facebook X LinkedIn More