A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct

@inproceedings{Guha2021ABO,
  title={A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct},
  author={Shibashis Guha and Isma{\"e}l Jecker and Karoliina Lehtinen and Martin Zimmermann},
  booktitle={MFCS},
  year={2021}
}
We study the expressiveness and succinctness of good-for-games pushdown automata (GFG-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. We prove that GFG-PDA recognise more languages than deterministic PDA (DPDA) but not all context-free languages (CFL). This class is orthogonal to unambiguous CFL. We further show that GFG-PDA can be exponentially more succinct than… 

Figures from this paper

History Determinism vs. Good for Gameness in Quantitative Automata
TLDR
It is shown that good-for-games automata are central for “global” (classical) synthesis, while “local’ (good-enough) synthesis reduces to deciding whether a nondeterministic automaton is history deterministic.
Token Games and History-Deterministic Quantitative-Automata
A nondeterministic automaton is history-deterministic if its nondeterminism can be resolved by only considering the prefix of the word read so far. Due to their good compositional properties,
Good-for-games $\omega$-Pushdown Automata
TLDR
These are automata whose nondeterminism can be resolved based on the input processed so far and it is shown that solving infinite games with winning conditions specified by ω-GFG-PDA is EXPTIME-complete.

References

SHOWING 1-10 OF 45 REFERENCES
A bit of nondeterminism makes pushdown automata expressive and succinct
  • 2021
Good-Enough Synthesis
TLDR
This work introduces and studies good-enough synthesis (ge-synthesis) – a variant of synthesis in which the system is required to satisfy a given specification that is particularly relevant when the notion of correctness is multi-valued (rather than Boolean).
Good-for-games ω-Pushdown Automata
TLDR
These are automata whose nondeterminism can be resolved based on the run constructed thus far and it follows that the universality problem for ω-GFG-PDA is in EXPTIME as well.
Minimising Good-for-Games automata is NP complete
TLDR
It is shown for the standard state based acceptance that the minimality of a GFG automaton is NP-complete for Buchi, Co-Buchi, and parity G FG automata, a surprisingly straight forward generalisation of the proofs from deterministic Buchi automata.
Computing the Width of Non-deterministic Automata
TLDR
It is shown that computing the width of an automaton is EXPTime-complete, which implies EXPTIME-completeness for multipebble simulation games on NFAs, and shows that checking whether a coB\"uchi automata is determinisable by pruning is NP-complete.
Büchi Good-for-Games Automata Are Efficiently Recognizable
Good-for-Games (GFG) automata offer a compromise between deterministic and nondetermin-istic automata. They can resolve nondeterministic choices in a step-by-step fashion, without needing any
How Deterministic are Good-For-Games Automata?
TLDR
GFG automata enjoy the benefits of typeness, similarly to the case of deterministic automata, and are shown to be exponentially more succinct than deterministic ones.
, Kazuo Iwama , Naoki Kobayashi , and Bettina Speckmann , editors , ICALP
  • ( Part II ) , volume 9135 of LNCS
  • 2015
Descriptional complexity of unambiguous input-driven pushdown automata
It is known that a nondeterministic input-driven pushdown automaton (IDPDA) (a.k.a. visibly pushdown automaton; a.k.a. nested word automaton) with n states can be transformed to an equivalent
...
1
2
3
4
5
...