Definable Operation in General Algebras, and the Theory of Automata and Flowcharts.

Published in: Programming Languages and Their Definition (1984)

Keyphrases

general theory
special case
theoretical basis
cellular automata
closely related
information theory
knowledge base
theoretical framework
real time
information retrieval
artificial intelligence
database systems
formal languages
formal logic