Category Theory Applied to Computation and Control

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

E.G. Manes (Herausgeber)

Buch | Softcover
XII, 248 Seiten
1975 | 1975
Springer Berlin (Verlag)
978-3-540-07142-6 (ISBN)

Lese- und Medienproben

Category Theory Applied to Computation and Control -
53,49 inkl. MwSt

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.

Erscheint lt. Verlag 25.2.1975
Reihe/Serie Lecture Notes in Computer Science
Zusatzinfo XII, 248 p.
Verlagsort Berlin
Sprache englisch
Maße 155 x 235 mm
Gewicht 372 g
Themenwelt Informatik Software Entwicklung User Interfaces (HCI)
Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Geometrie / Topologie
Schlagworte Automata • Automata Theory • Automatentheorie • category • category theory • Complexity • formal language • Kategorie (Math.) • Kontrolle (Math.) • nonlinear system
ISBN-10 3-540-07142-3 / 3540071423
ISBN-13 978-3-540-07142-6 / 9783540071426
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional …

von Mahbouba Gharbi; Arne Koschel; Andreas Rausch; Gernot Starke

Buch | Hardcover (2023)
dpunkt Verlag
34,90