Nondeterministic automata: equivalence, bisimulations, and uniform relations

Miroslav Ciric Jelena Ignjatovic Milan Basic Ivana Jancic

Published in: CoRR (2011)

Keyphrases

finite automata
finite state
equivalence relation
cellular automata
regular expressions
finite automaton
artificial intelligence
markov chain
deterministic automata
probabilistic automata
temporal relations
spatial relations
neural network
data sets
xml documents
tree automata
finite state automata
decision trees