عنوان

Category Theory Applied to Computation and Control :

3540071423

3540374264

9783540071426

9783540374268

b565815

Category Theory Applied to Computation and Control :

[Book]

Proceedings of the First International Symposium, San Francisco, February 25-26, 1974

by E.G. Manes.

Berlin, Heidelberg

Springer Berlin Heidelberg

1975

: v.: digital

Lecture notes in computer science, 25.

Basic concepts of category theory applicable to computation and control --; A control theorist looks at abstract nonsense --; A Categorist's view of automata and systems --; Categorical theory of tree processing --; Realization of multilinear and multidecomposable machines --; Fuzzy morphishms in automata theory --; Time-varying systems --; Addressed machines and duality --; Factorization of scott-style automata --; An abstract machine theory for formal language parsers --; Some structural properties of automata defined on groups --; Automata in additive categories with applications to stochastic linear automata --; The algebraic theory of recursive program schemes --; Realization is continuously universal --; Diagram-characterization of recursion --; Power and initial automata in pseudoclosed categories --; Semantics of computation --; Scattering theory and non linear systems --; Synthesis and complexity of logical systems --; Strukturelle verwandtschaften von Semi-Thue-Systemen --; Control of linear continuous-time systems defined over rings of distributions --; Cellular automata with additive local transition --; Automata in semimodule categories --; Representation of a class of nonlinear systems --; Duals of input/output maps --; An algebraic formulation of the Chomsky hierarchy --; On the recursive specification of data types --; Linear systems over rings of operators --; The tricotyledon theory of system design.

Automates mathématiques, Théorie des -- Congrès.

Computer science.

K-theory.

by E.G. Manes.

E G Manes

[Book]

Y