Minimal realization in bicategories of automata

Mathematical Structures in Computer Science

Volumn 8, Issue 2, 1998, Pages 93-116

  Rosebrugh, Robert ^a   Sabadini, N ^b   Walters, R F C ^c  

^a MOUNT ALLISON UNIVERSITY   (Canada)

^b UNIVERSITY OF MILAN   (Italy)

^c UNIVERSITY OF SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85022804850     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129597002454     Document Type: Article

References (15)

1. Adamek, J. and Trnkova, V. (1990) Automata and Algebras in Categories, Kluwer.
2. Benabou, J. (1967) Introduction to bicategories. Springer-Verlag Lecture Notes in Mathematics 47 1–77.
3. Betti, R. and Power, J. (1988) On local adjunctions of distributive bicategories. Bolletino della Unione Matematica Italiana 7 (2-B) 931–947.
4. Blum, L., Shub, M. and Smale, S. (1989) On a theory of computation and complexity over the real numbers: NP completeness, recursive functions and universal machines. Bulletin of the American Mathematical Society 21 1–46.
5. Bloom, S., Sabadini, N. and Walters, R. F. C. (1996) Matrices, machines and behaviors. Applied Categorical Structures 4 343–360.
6. Carboni, A. and Rosebrugh, R. (1991) Lax monads. Journal of Pure and Applied Algebra 76 13–32.
7. Ginsburg, S. (1966) The Mathematical Theory of Context-Free Languages, McGraw-Hill.
8. Goguen, J. A. (1972) Minimal realization of machines in closed categories. Bulletin of the AMS 78 777–783.
9. Hoperoft J. and Ullman, J. D. (1979) Introduction to automata theory, languages and computation, Addison-Wesley.
10. Jay, B. (1988) Local adjunctions. Journal of Pure and Applied Algebra 53 227–238.
11. Katis, P. Sabadini, N. and Walters, R. F. C. (1997) Bicategories of processes. Journal of Pure and Applied Algebra. 115 (2) 141–178.
12. Nerode, A. (1958) Linear automaton transformations. Proc. Amer. Math. Soc. 9 541–544.
13. Sabadini, N., Walters, R. F. C. and Vigna S. (1996) A note on recursive functions. Mathematical structures in computer science 6 127–139.
14. Sabadini, N., Weld, H. and Walters, R. F. C. (1994) On categories of asynchronous circuits. School of mathematics and statistics research reports, University of Sydney (93–34).
15. Vigna, S. (1996) On relations between distributed computability and the BSS model. Theoretical Computer Science 162 5–21.