Sciweavers

113 search results - page 11 / 23
» Height-Deterministic Pushdown Automata
Sort
View
QEST
2008
IEEE
15 years 6 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...
105
Voted
FSTTCS
1998
Springer
15 years 3 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 6 months ago
Pushdown Automata Simulator
Mohamed Hamada
FSTTCS
2009
Springer
15 years 6 months ago
On the Memory Consumption of Probabilistic Pushdown Automata
Tomás Brázdil, Javier Esparza, Stefa...
WIA
2007
Springer
15 years 5 months ago
Regulated Nondeterminism in Pushdown Automata
Martin Kutrib, Andreas Malcher, Larissa Werlein