Deciding Monadic Second Order Logic over \omega ω -Words by Specialized Finite Automata.

Published in: IFM (2016)

Keyphrases

finite automata
tree automata
monadic second order logic
regular expressions
deterministic automata
probabilistic automata
grammatical inference
pattern matching
context sensitive
hidden markov models
keywords
finite automaton
expressive power
finite state
special case
artificial intelligence
machine learning