Closure properties of hyper-minimized automata.

Andrzej Szepietowski

Published in: RAIRO Theor. Informatics Appl. (2011)

Keyphrases

closure properties
tree automata
expressive power
finite automata
regular expressions
finite state
context free grammars
context free
conjunctive queries
structural properties
query language
pattern matching
automatic extraction
optimal solution
first order logic
markov chain
special case