Deternimization of Büchi Automata as Partitioned Automata.

Cong Tian Zhenhua Duan Mengfei Yang

Published in: COCOON (2013)

Keyphrases

cellular automata
finite automata
probabilistic automata
finite state machines
regular expressions
databases
neural network
tree automata
turing machine
automata theoretic
multi agent
hidden markov models
finite state
lattice gas
formal language theory