Multi-weighted Automata and MSO Logic.

Manfred Droste Vitaly Perevoshchikov

Published in: CSR (2013)

Keyphrases

regular expressions
finite state
tree automata
monadic second order logic
logic programming
cellular automata
predicate logic
multi valued
automata theoretic
information retrieval
markov chain
expressive power
finite state machines
probabilistic automata