Login / Signup

Further Closure Properties of Input-Driven Pushdown Automata.

Alexander OkhotinKai Salomaa
Published in: DCFS (2018)
Keyphrases
  • closure properties
  • tree automata
  • finite automata
  • finite state
  • model checking
  • expressive power
  • context free grammars
  • regular expressions
  • context free
  • query language
  • machine learning