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

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