Login / Signup
Further closure properties of input-driven pushdown automata.
Alexander Okhotin
Kai Salomaa
Published in:
Theor. Comput. Sci. (2019)
Keyphrases
</>
closure properties
tree automata
expressive power
finite state
context free
finite automata
machine learning
regular expressions
context free grammars
special case
multistage
model checking