Weak MSO: Automata and Expressiveness Modulo Bisimilarity.
Facundo CarreiroAlessandro FacchiniYde VenemaFabio ZanasiPublished in: CoRR (2014)
Keyphrases
- tree automata
- monadic second order logic
- regular expressions
- finite state
- expressive power
- finite automata
- finite state machines
- markov decision processes
- cellular automata
- data complexity
- markov chain
- pattern matching
- turing machine
- finite state automata
- probabilistic automata
- information retrieval
- xml schema
- data mining
- computational properties
- decision trees