Two-Way Parikh Automata with a Visibly Pushdown Stack - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

Two-Way Parikh Automata with a Visibly Pushdown Stack

Luc Dartois
  • Fonction : Auteur
  • PersonId : 1049322
  • IdHAL : ldartois
Emmanuel Filiot
  • Fonction : Auteur
  • PersonId : 854583

Résumé

In this paper, we investigate the complexity of the emptiness problem for Parikh automata equipped with a pushdown stack. Push-down Parikh automata extend pushdown automata with counters which can only be incremented and an acceptance condition given as a semi-linear set, which we represent as an existential Presburger formula over the final values of the counters. We show that the non-emptiness problem both in the deterministic and non-deterministic cases is NP-c. If the input head can move in a two-way fashion, emptiness gets undecidable, even if the pushdown stack is visibly and the automaton deterministic. We define a restriction, called the single-use restriction, to recover decid-ability in the presence of two-wayness, when the stack is visibly. This syntactic restriction enforces that any transition which increments at least one dimension is triggered only a bounded number of times per input position. Our main contribution is to show that non-emptiness of two-way visibly Parikh automata which are single-use is NExpTime-c. We finally give applications to decision problems for expressive transducer models from nested words to words, including the equivalence problem.
Fichier principal
Vignette du fichier
Dartois2019_Chapter_Two-WayParikhAutomataWithAVisi.pdf (446.42 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-02162279 , version 1 (21-06-2019)

Identifiants

Citer

Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot. Two-Way Parikh Automata with a Visibly Pushdown Stack. FOSSACS 2019, Apr 2019, Pragues, Czech Republic. pp.189-206, ⟨10.1007/978-3-030-17127-8_11⟩. ⟨hal-02162279⟩
122 Consultations
156 Téléchargements

Altmetric

Partager

More