Sciweavers

644 search results - page 20 / 129
» Precedence Automata and Languages
Sort
View
MFCS
2007
Springer
16 years 3 days ago
Height-Deterministic Pushdown Automata
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
Dirk Nowotka, Jirí Srba
ICALP
2010
Springer
15 years 10 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...
ITICSE
2005
ACM
15 years 11 months ago
A prolog toolkit for formal languages and automata
This paper describes the first version of P (read “P flat”), a collection of Prolog predicates that aims to provide a pedagogical implementation of concepts and algorithms t...
Michel Wermelinger, Artur Miguel Dias