Reset Complexity of Ideal Languages Over a Binary Alphabet - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2017

Reset Complexity of Ideal Languages Over a Binary Alphabet

Marina Maslennikova
  • Fonction : Auteur
  • PersonId : 1024580
Ural Federal University [Ekaterinburg]

Résumé

We prove PSPACE-completeness of checking whether a given ideal language serves as the language of reset words for some automaton with at most four states over a binary alphabet.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
440206_1_En_21_Chapter.pdf (153.26 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01656997

Soumis le : mercredi 6 décembre 2017-11:43:35

Dernière modification le : mercredi 6 décembre 2017-13:46:23

Télécharger pour visualiser

Dates et versions

hal-01656997 , version 1 (06-12-2017)

Licence

Paternité

Identifiants

Citer

Marina Maslennikova. Reset Complexity of Ideal Languages Over a Binary Alphabet. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.262-273, ⟨10.1007/978-3-319-60252-3_21⟩. ⟨hal-01656997⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG IFIP-DCFS IFIP-WG1-2 IFIP-LNCS-10316
46 Consultations
49 Téléchargements

Altmetric

Partager

More