---

＜電子ブック＞
Category Theory Applied to Computation and Control : Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 / edited by E.G. Manes
(Lecture Notes in Computer Science. ISSN:16113349 ; 25)

版	1st ed. 1975.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1975
本文言語	英語
大きさ	XII, 248 p : online resource
著者標目	Manes, E.G editor SpringerLink (Online service)
件　名	LCSH:Topology LCSH:Computer science LCSH:K-theory FREE:Topology FREE:Theory of Computation FREE:K-Theory
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-07142-3

 類似資料