Category Theory Applied to Computation and Control [[electronic resource] ] : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / / edited by E.G. Manes
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Category Theory Applied to Computation and Control [[electronic resource] ] : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / / edited by E.G. Manes
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1975 |
| Edizione: | 1st ed. 1975. |
| Descrizione fisica: | 1 online resource (XII, 248 p.) |
| Disciplina: | 514 |
| Soggetto topico: | Topology |
| Computers | |
| K-theory | |
| Computation by Abstract Devices | |
| K-Theory | |
| Persona (resp. second.): | ManesE.G |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Category theory applied to computation and control |
| ISBN: | 3-540-37426-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465536303316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 25