Determinizing Büchi Asnchronous Automata.

Nils Klarlund Madhavan Mukund Milind A. Sohoni

Published in: FSTTCS (1995)

Keyphrases

finite automata
cellular automata
regular expressions
probabilistic automata
finite state
finite state machines
lattice gas
tree automata
real time
search algorithm
information gain
finite state automata
matching algorithm
markov chain
relational databases
image processing
data sets