Sciweavers

371 search results - page 1 / 75
» Pushdown Automata Simulator
Sort
View
ACL
1989
13 years 6 months ago
How to Cover a Grammar
A novel formalism is presented for Earley-like parsers. It accommodates the simulation of non-deterministic pushdown automata. In particular, the theory is applied to non-determin...
René Leermakers
CSL
2006
Springer
13 years 9 months ago
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation
Abstract. We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basi...
Jirí Srba
EDUTAINMENT
2009
Springer
13 years 11 months ago
Pushdown Automata Simulator
Mohamed Hamada
DLT
2008
13 years 6 months ago
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
We consider multi-pushdown automata, a multi-stack extension of pushdown automata that comes with a constraint on stack operations: a pop can only be performed on the first non-emp...
Mohamed Faouzi Atig, Benedikt Bollig, Peter Haberm...
FSTTCS
2004
Springer
13 years 10 months ago
Visibly Pushdown Games
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
Christof Löding, P. Madhusudan, Olivier Serre