Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and 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

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity

Yo-Sub Han
  • Fonction : Auteur
  • PersonId : 1024595
Kai Salomaa
  • Fonction : Auteur
  • PersonId : 1022715

Résumé

We study the decidability and computational complexity for several decision problems related to limited nondeterminism of finite-state automata equipped with a pushdown stack. Ambiguity and tree width are two measures of nondeterminism considered in the literature. As a main result, we prove that the problem of deciding whether or not the tree width of a nondeterministic pushdown automaton is finite is decidable in polynomial time. We also prove that the k-tree width problem for nondeterministic input-driven pushdown automata (respectively, nondeterministic finite automata) is complete for exponential time (respectively, for polynomial space).
Fichier principal
Vignette du fichier
480958_1_En_12_Chapter.pdf (123.12 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Licence

Paternité

Identifiants

Citer

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa. Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity. 21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.1007/978-3-030-23247-4_12⟩. ⟨hal-02387306⟩
44 Consultations
33 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More