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 : proceedings of the first international symposium, San Francisco, February 25-26, 1974
（Lecture notes in computer science, 25）
Springer-Verlag, 1975
- : gw
- : us
大学図書館所蔵 件 / 全53件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"An A.M.S. symposium within the annual meeting of the American Association for the Advancement of Science."
Includes bibliography
内容説明・目次
目次
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.
「Nielsen BookData」 より
