Deciding MSO over w-Words by means of Finite Automata.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)

Keyphrases

finite automata
regular expressions
tree automata
probabilistic automata
deterministic automata
pattern matching
grammatical inference
query language
n gram
machine learning
data management
database
high throughput
finite state
finite automaton