Determinising Parity Automata.

Sven Schewe Thomas Varghese

Published in: CoRR (2014)

Keyphrases

error correction
probabilistic automata
finite automata
cellular automata
finite state machines
tree automata
databases
learning algorithm
regular expressions
multi agent systems
bayesian networks
context free
turing machine
timed automata
data sets
finite automaton
lattice gas