Self-Verifying Finite Automata and Descriptional Complexity - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Self-Verifying Finite Automata and Descriptional Complexity

Galina Jirásková
  • Fonction : Auteur
  • PersonId : 1011781
Slovak Academy of Sciences

Résumé

We survey recent results on the descriptional complexity of self-verifying finite automata. In particular, we discuss the cost of simulation of self-verifying finite automata by deterministic finite automata, and the complexity of basic regular operations on languages represented by self-verifying finite automata.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
416473_1_En_3_Chapter.pdf (136.88 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-01633958

Soumis le : lundi 13 novembre 2017-15:33:00

Dernière modification le : lundi 13 novembre 2017-15:35:32

Archivage à long terme le : mercredi 14 février 2018-15:10:28

Télécharger pour visualiser

Dates et versions

hal-01633958 , version 1 (13-11-2017)

Licence

Paternité

Identifiants

Citer

Galina Jirásková. Self-Verifying Finite Automata and Descriptional Complexity. 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.29-44, ⟨10.1007/978-3-319-41114-9_3⟩. ⟨hal-01633958⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-TC IFIP-TC1 IFIP-WG IFIP-DCFS IFIP-LNCS-9777 IFIP-WG1-2
46 Consultations
208 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More