Coalgebraic constructions of canonical nondeterministic automata.
Robert S. R. MyersJirí AdámekStefan MiliusHenning UrbatPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- finite automata
- finite state
- finite automaton
- probabilistic automata
- deterministic automata
- tree automata
- regular expressions
- grammatical inference
- cellular automata
- markov chain
- regular languages
- model checking
- markov decision processes
- optimal policy
- finite state automata
- canonical form
- social networks
- lattice gas
- decision making
- digital libraries
- turing machine
- special case
- probabilistic model
- data sets
- decision problems