Pushdown automata and constant height: decidability and bounds.
Giovanni PighizziniLuca PrigionieroPublished in: Acta Informatica (2023)
Keyphrases
- automata theoretic
- upper bound
- finite state
- model checking
- lower bound
- cellular automata
- description logics
- temporal logic
- upper and lower bounds
- query answering
- average case
- finite automata
- error bounds
- tree automata
- constant factor
- tight bounds
- probabilistic automata
- finite state machines
- machine learning
- decision procedures
- type checking
- confidence bounds
- worst case