Nondeterminism Growth and State 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 : 2019

Nondeterminism Growth and State Complexity

Chris Keeler
  • Fonction : Auteur
  • PersonId : 1024582
Kai Salomaa
  • Fonction : Auteur
  • PersonId : 1022715

Résumé

Tree width (respectively, string path width) measures the maximal number of partial (respectively, complete) computations of a nondeterministic finite automaton (NFA) on an input of given length. We study the growth rate of the tree width and string path width measures. As the main result we show that the degree of the polynomial bounding the tree width of an NFA differs by at most one from the degree of the polynomial bounding the string path width. Also we show that for $$m \ge 4$$ there exists an m-state NFA with finite string path width such that any equivalent finite tree width NFA needs $$2^{m-2} + 1$$ states.
Fichier principal
Vignette du fichier
480958_1_En_16_Chapter.pdf (309.65 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02387283 , version 1 (29-11-2019)

Licence

Paternité

Identifiants

Citer

Chris Keeler, Kai Salomaa. Nondeterminism Growth and State Complexity. 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.210-222, ⟨10.1007/978-3-030-23247-4_16⟩. ⟨hal-02387283⟩
103 Consultations
42 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More