Completeness Problem of One-Dimensional Binary Scope-3 Tessellation Automata.

Akira Maruoka Masayuki Kimura

Published in: J. Comput. Syst. Sci. (1974)

Keyphrases

non binary
binary data
finite automata
cellular automata
regular expressions
probabilistic automata
multi class
multi dimensional
model checking
finite state
delaunay triangulation