Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974

M. A. Arbib, E. G. Manes (auth.), Dr. Ernest Gene Manes (eds.)3540071423, 9783540071426

Table of contents :
Basic concepts of category theory applicable to computation and control….Pages 1-34
A control theorist looks at abstract nonsense….Pages 35-50
A Categorist’s view of automata and systems….Pages 51-64
Categorical theory of tree processing….Pages 65-72
Realization of multilinear and multidecomposable machines….Pages 73-79
Fuzzy morphishms in automata theory….Pages 80-86
Time-varying systems….Pages 87-92
Addressed machines and duality….Pages 93-98
Factorization of scott-style automata….Pages 99-105
An abstract machine theory for formal language parsers….Pages 106-111
Some structural properties of automata defined on groups….Pages 112-118
Automata in additive categories with applications to stochastic linear automata….Pages 119-125
The algebraic theory of recursive program schemes….Pages 126-131
Realization is continuously universal….Pages 132-136
Diagram-characterization of recursion….Pages 137-143
Power and initial automata in pseudoclosed categories….Pages 144-150
Semantics of computation….Pages 151-163
Scattering theory and non linear systems….Pages 164-169
Synthesis and complexity of logical systems….Pages 170-173
Strukturelle verwandtschaften von Semi-Thue-Systemen….Pages 174-179
Control of linear continuous-time systems defined over rings of distributions….Pages 180-185
Cellular automata with additive local transition….Pages 186-192
Automata in semimodule categories….Pages 193-198
Representation of a class of nonlinear systems….Pages 199-203
Duals of input/output maps….Pages 204-208
An algebraic formulation of the Chomsky hierarchy….Pages 209-213
On the recursive specification of data types….Pages 214-217
Linear systems over rings of operators….Pages 218-223
The tricotyledon theory of system design….Pages 224-230