Deterministic pushdown automaton

Known as: NDPDA, DPA, DPDA 
In automata theory, a deterministic pushdown automaton (DPDA or DPA) is a variation of the pushdown automaton. The class of deterministic pushdown… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Nested words model data with both linear and hierarchical structure such as XML documents and program traces. A nested word is a… (More)
Is this relevant?
2007
2007
We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
In this paper we give two equivalent characterizations of the Caucal hierarchy, a hierarchy of infinite graphs with a decidable… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We apply the symbolic analysis principle to pushdown systems We represent possibly in nite sets of con gurations of such systems… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Suppose we want to generate a set of strings (a language) L over an alphabet Σ. How shall we specify our language? One very… (More)
Is this relevant?
1980
1980
A context-free language is said to be simple if it is accepted by a single-state deterministic pushdown automaton with empty… (More)
Is this relevant?
1977
1977
We considered some of the important unsolved problems in the theory of computation concerning the relationship between… (More)
Is this relevant?
1977
1977
The realtime one-state deterministic pushdown automata with jumps define the family of deterministic languages. A simplified… (More)
Is this relevant?
1973
1973
The existence and complexity of decision procedures for families of deterministic pushdo,,., -n automata are investigated, with… (More)
  • figure 2
  • figure 5
Is this relevant?
1968
1968
A n algorithm is presented which will determine whether any string w in Z*, of length n, is contained in a language L C Z… (More)
  • figure 1
  • figure 3
  • figure 4
  • table 1
Is this relevant?