Sciweavers

113 search results - page 11 / 23
» Height-Deterministic Pushdown Automata
Sort
View
QEST
2008
IEEE
15 years 10 months ago
Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems
We begin by observing that (discrete-time) QuasiBirth-Death Processes (QBDs) are equivalent, in a precise sense, to (discrete-time) probabilistic 1-Counter Automata (p1CAs), and b...
Kousha Etessami, Dominik Wojtczak, Mihalis Yannaka...
142
Voted
FSTTCS
1998
Springer
15 years 7 months ago
Optimal Regular Tree Pattern Matching Using Pushdown Automata
Abstract. We propose a construction that augments the precomputation step of a regular tree pattern matching algorithm to include cost analysis. The matching device generated is a ...
Maya Madhavan, Priti Shankar
EDUTAINMENT
2009
Springer
15 years 10 months ago
Pushdown Automata Simulator
Mohamed Hamada
FSTTCS
2009
Springer
15 years 10 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
96
Voted
WIA
2007
Springer
15 years 9 months ago
Regulated Nondeterminism in Pushdown Automata
Martin Kutrib, Andreas Malcher, Larissa Werlein