The Logic of Automata - Part II.

Arthur W. Burks Hao Wang

Published in: J. ACM (1957)

Keyphrases

cellular automata
logic programming
classical logic
automata theoretic
modal logic
probabilistic automata
automated reasoning
probabilistic logic
defeasible logic
finite automata
formal theory
learning algorithm
case study
finite state
truth values
sound and complete axiomatization