Weak MSO: automata and expressiveness modulo bisimilarity.
Facundo CarreiroAlessandro FacchiniYde VenemaFabio ZanasiPublished in: CSL-LICS (2014)
Keyphrases
- tree automata
- monadic second order logic
- regular expressions
- finite state
- finite automata
- expressive power
- markov chain
- cellular automata
- query language
- finite state machines
- markov decision processes
- first order logic
- pattern matching
- data sets
- computational properties
- case study
- context free
- probabilistic automata
- information retrieval