Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,996,255 papers from all fields of science
Search
Sign In
Create Free Account
Pushdown automaton
Known as:
Push-Down Automaton
, Nondeterministic pushdown automaton
, Pushdown autonoma
Expand
In computer science, a pushdown automaton (PDA) is a type of automaton that employs a stack. Pushdown automata are used in theories about what can be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
35 relations
Ambiguous grammar
Automata theory
Backtracking
Chomsky hierarchy
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
First-Order Model Checking on Generalisations of Pushdown Graphs
Alexander Kartzow
arXiv.org
2011
Corpus ID: 19615184
We study the first-order model checking problem on two generalisations of pushdown graphs. The first class is the class of nested…
Expand
2011
2011
MIX is a 2-MCFL and the word problem in Z 2 is solved by a third-order collapsible pushdown automaton
S. Salvati
2011
Corpus ID: 14549738
In this work we establish that the language MIX = { w ∈ { a ; b ; c } ∗ || w | a = | w | b = | w | c } and the language O 2 = { w…
Expand
2007
2007
A Control Flow Based Program Behavior Extended Model
Lu Wei
,
Zeng Qing-kai
2007
Corpus ID: 61401931
This paper presents a control-flow-based program behavior extended model EMPDA(extended model based on push down automaton)by…
Expand
2006
2006
State Transition Diagram of Pushdown Automata and Simplification of Pushdown Automata
Ji Zhang
,
Zhe Wu
2006
Corpus ID: 63555736
According to the method of finite automation diagram description,the diagram description of normal form of pushdown automata,the…
Expand
2005
2005
On Effective Model-Based Intrusion Detection
Jonathon T. Giffin
,
S. Jha
,
B. Miller
2005
Corpus ID: 9791290
Model-based intrusion detectors restrict program executi on to a previously computed model of expected behavior. We consider two…
Expand
1997
1997
Querying String Databases with Modal Logic
Matti Nykanen
1997
Corpus ID: 58977502
New application areas for databases demand the possibility of managing not only the traditional atomic but also structured data…
Expand
1995
1995
Reversible Pushdown Automata and Bidirectional Parsing
M. Nederhof
International Conference on Developments in…
1995
Corpus ID: 31454984
1994
1994
LPDA: Another look at Tabulation in Logic Programming
Eric Villemonte de la Clergerie
,
B. Lang
International Conference on Logic Programming
1994
Corpus ID: 15680806
The Logic Push-Down Automaton (LPDA) is introduced as an abstract operational model for the evaluation of logic programs. The…
Expand
Review
1993
Review
1993
Logic and Algebra of Specification
F. L. Bauer
,
W. Brauer
,
H. Schwichtenberg
NATO ASI Series
1993
Corpus ID: 6165297
Distributed Action Systems.- Lectures on: Classical Proofs as Programs.- Linear Logic: A Survey.- Some Proof-Theoretic Aspects of…
Expand
1976
1976
New languages from old: The extension of programming languages by embedding, with a case study
M. Feldman
International Conference on Software Engineering
1976
Corpus ID: 17221154
Embedding is the extension of a programming language without altering the processor for that language, and preferably using only…
Expand