The moethod of focing for nondeterministic automata.
Róbert SzelepcsényiPublished in: Bull. EATCS (1987)
Keyphrases
- finite automata
- finite state
- finite automaton
- probabilistic automata
- deterministic automata
- regular expressions
- tree automata
- markov chain
- markov decision processes
- finite state automata
- grammatical inference
- cellular automata
- model checking
- finite state machines
- multi agent systems
- decision trees
- social networks
- optimal policy
- formal language theory
- finite state automaton
- lattice gas
- similarity measure
- bayesian networks
- multiscale
- context free
- multi agent
- hidden markov models
- state space
- database