Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Manes, E. G. (Hrsg.). Category Theory Applied to Computation and Control - Proceedings of the First International Symposium, San Francisco, February 25-26, 1974. Springer Berlin Heidelberg, 1975.
eng

Category Theory Applied to Computation and Control

Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
  • Springer Berlin Heidelberg
  • 1975
  • Taschenbuch
  • 260 Seiten
  • ISBN 9783540071426
Herausgeber: E. G. Manes

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.-

Mehr Weniger
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.

in Kürze