Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract.

Giovanni Pighizzini Luca Prigioniero

Published in: ICTCS (2019)

Keyphrases

extended abstract
cellular automata
description logics
data sets
upper bound
error bounds
machine learning
artificial intelligence
information systems
database systems
image sequences
optimal solution
query answering
regular expressions
finite state machines
upper and lower bounds