03523nam 22005775 450 99646553630331620200702003918.03-540-37426-410.1007/3-540-07142-3(CKB)1000000000229734(SSID)ssj0000321781(PQKBManifestationID)11231369(PQKBTitleCode)TC0000321781(PQKBWorkID)10280056(PQKB)10883826(DE-He213)978-3-540-37426-8(PPN)155194194(EXLCZ)99100000000022973420121227d1975 u| 0engurnn|008mamaatxtccrCategory Theory Applied to Computation and Control[electronic resource] Proceedings of the First International Symposium, San Francisco, February 25-26, 1974 /edited by E.G. Manes1st ed. 1975.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1975.1 online resource (XII, 248 p.) Lecture Notes in Computer Science,0302-9743 ;25Bibliographic Level Mode of Issuance: Monograph3-540-07142-3 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.Lecture Notes in Computer Science,0302-9743 ;25TopologyComputersK-theoryTopologyhttps://scigraph.springernature.com/ontologies/product-market-codes/M28000Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013K-Theoryhttps://scigraph.springernature.com/ontologies/product-market-codes/M11086Topology.Computers.K-theory.Topology.Computation by Abstract Devices.K-Theory.514Manes E.Gedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465536303316Category theory applied to computation and control339740UNISA