단행본 상세

서지주요정보
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium, San Francisco, February 25-26, 1974
서명 / 저자 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.
저자명 Manes, E.G. editor. edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
판사항 1st ed. 1975.
발행사항 Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975.
총서명 Lecture Notes in Computer Science, 1611-3349 ; 25
Online Access https://doi.org/10.1007/3-540-... URL

서지기타정보

서지기타정보
ISBN 9783540374268
기타 표준번호 10.1007/3-540-07142-3
청구기호 QA611-614.97
형태사항 XII, 248 p. online resource.
언어 English
내용 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.
주제 Topology.
Computer science.
K-theory.
Topology.
Theory of Computation.
K-Theory.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783662171981 Printed edition: 9783540071426
QR CODE