A Short Proof on the Cyclic Behaviour of Multithreshold Symmetric Automata

Eric Goles Ch.Servet Martínez A.

Published in: Inf. Control. (1981)

Keyphrases

cellular automata
finite state machines
finite state
website
theorem prover
real time
information retrieval
decision making
knowledge base
qualitative models
user behaviour
linear logic
timed automata
rendezvous search