Vai al contenuto principale della pagina
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 |