Embeddings of automata - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2007

Embeddings of automata

Résumé

We prove that any local 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 (197.19 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00627816 , version 1 (29-09-2011)

Identifiants

  • HAL Id : hal-00627816 , version 1

Citer

Marie-Pierre Béal, Sylvain Lombardy, Dominique Perrin. Embeddings of automata. 2007. ⟨hal-00627816⟩
130 Consultations
59 Téléchargements

Partager

Gmail Facebook X LinkedIn More