Branching Measures and Nearly Acyclic NFAs

Abstract : To get a more comprehensive understanding of the branching complexity of nondeterministic finite automata (NFA), we introduce and study the string path width and depth path width measures. The string path width on a string w counts the number of all complete computations on w, and the depth path width on an integer $\ell $ counts the number of complete computations on all strings of length $\ell $. We give an algorithm to decide the finiteness of the depth path width of an NFA. Deciding finiteness of string path width can be reduced to the corresponding question on ambiguity.An NFA is nearly acyclic if any computation can pass through at most one cycle. The class of nearly acyclic NFAs consists of exactly all NFAs with finite depth path width. Using this characterization we show that the finite depth path width of an m-state NFA over a k-letter alphabet is at most $(k+1)^{m-1}$ and that this bound is tight. The nearly acyclic NFAs recognize exactly the class of constant density regular languages.
Type de document :
Communication dans un congrès
Giovanni Pighizzini; Cezar Câmpeanu. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10316, pp.202-213, 2017, Descriptional Complexity of Formal Systems. 〈10.1007/978-3-319-60252-3_16〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01657000
Contributeur : Hal Ifip <>
Soumis le : mercredi 6 décembre 2017 - 11:43:45
Dernière modification le : mercredi 6 décembre 2017 - 14:08:55

Fichier

 Accès restreint
Fichier visible le : 2020-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Chris Keeler, Kai Salomaa. Branching Measures and Nearly Acyclic NFAs. Giovanni Pighizzini; Cezar Câmpeanu. 19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. Springer International Publishing, Lecture Notes in Computer Science, LNCS-10316, pp.202-213, 2017, Descriptional Complexity of Formal Systems. 〈10.1007/978-3-319-60252-3_16〉. 〈hal-01657000〉

Partager

Métriques

Consultations de la notice

12