Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Category Theory Applied to Computation and Control
Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
Taschenbuch von E. G. Manes
Sprache: Englisch

53,49 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1975
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Lecture Notes in Computer Science
Inhalt: xii
248 S.
ISBN-13: 9783540071426
ISBN-10: 3540071423
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Redaktion: Manes, E. G.
Herausgeber: E G Manes
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Lecture Notes in Computer Science
Maße: 235 x 155 x 15 mm
Von/Mit: E. G. Manes
Erscheinungsdatum: 25.02.1975
Gewicht: 0,4 kg
Artikel-ID: 101948437
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1975
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Lecture Notes in Computer Science
Inhalt: xii
248 S.
ISBN-13: 9783540071426
ISBN-10: 3540071423
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Redaktion: Manes, E. G.
Herausgeber: E G Manes
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Lecture Notes in Computer Science
Maße: 235 x 155 x 15 mm
Von/Mit: E. G. Manes
Erscheinungsdatum: 25.02.1975
Gewicht: 0,4 kg
Artikel-ID: 101948437
Warnhinweis