Category theory applied to computation and control : proceedings of the First international symposium, San Francisco, February 25-26, 1974
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
2006.
Cham : Springer Nature |
| Series: | Lecture notes in computer science
25 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Category theory applied to computation and control, proceedings of the First international symposium, San Francisco, February 25-26, 1974, ed. by E. G. Manes, Berlin, Springer, 1975, 1 vol. (x-245 p.), Lecture notes in computer science, 3-540-07142-3 • Category Theory Applied to Computation and Control, Texte imprimé, 9783662171981 |
Table des matières:
- 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.