A categorist's view of automata and systems.

Michael A. Arbib Ernest G. Manes

Published in: Category Theory Applied to Computation and Control (1974)

Keyphrases

building blocks
finite state machines
decision making
image sequences
management system
computer systems
real time
data sets
artificial neural networks
distributed systems
learning systems
cellular automata
retrieval systems
model checking
multiple views
finite state automata