On isomorphic representations of generalized definite automata.

Ferenc Gécseg Balázs Imreh

Published in: Acta Cybern. (2001)

Keyphrases

higher level
symbolic representation
cellular automata
finite state machines
representation scheme
finite automata
probabilistic automata
three dimensional
databases
real world
search algorithm
state space
model checking
multiple representations
turing machine