Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 (Lecture Notes in Computer Science, 25)

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