A syntactical proof of locality of DA

International Journal of Algebra and Computation

Volumn 6, Issue 2, 1996, Pages 165-177

  Almeida, Jorge ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

Category; Local; Monoid; Pseudoidentity; Pseudovariety; Unambiguous product

Indexed keywords

EID: 0030519219     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021819679600009X     Document Type: Article

References (20)

1. J. Almeida, Finite semigroups and universal algebra, World Scientific, Singapore, 1995. English translation.
2. J. Almeida and A. Azevedo, On regular implicit operations, Portugaliae Mathematica 50 (1993), 35-61.
3. J. Almeida and P. Weil, Profinite categories and semidirect products, J. Pure and Applied Algebra. To appear.
4. A. Azevedo, Operações implícitas sobre pseudovariedades de semigrupos. Aplicações, Ph.D. thesis, Universidade do Porto, 1989.
5. J. A. Brzozowski and I. Simon, Characterizations of locally testable events, Discrete Math. 4 (1973), 243-271.
6. S. Eilenberg, Automata, Languages and Machines, vol. B, Academic Press, New York, 1976.
7. P. R. Jones, Profinite categories, implicit operations and pseudovarieties of categories, Int. J. Algebra and Computation. To appear.
8. P. R. Jones and M. B. Szendrei, Local varieties of completely regular monoids, J. of Algebra 150 (1992), 1-27.
9. P. R. Jones and P. G. Trotter, Locality of DS and associated varieties, J. Pure and Applied Algebra 104 (1995), 275-301.
10. R. Knast, Some theorems on graph congruences, RAIRO Inf. Théor. et Appl. 17 (1983), 331-342.
11. K. Krohn and J. Rhodes, Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines, Trans. Amer. Math. Soc. 116 (1965), 450-464.
12. J.-E. Pin, Propriétés syntactiques du produit non ambigu, vol. 85 of Lect. Notes in Comput. Sci., Berlin, 1980, Springer, 483-499.
13. J.-E. Pin, Varieties of Formal Languages, Plenum, London, 1986. English translation.
14. J.-E. Pin, H. Straubing, and D. Thérien, Locally trivial categories and unambiguous concatenation, J. Pure and Applied Algebra 52 (1988), 297-311.
15. J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1-10.
16. P. Stiffler, Extension of the fundamental theorem of finite semigroups, Advances in Math. 11 (1973), 159-209.
17. H. Straubing, Finite semigroup varieties of the form V * D, J. Pure and Applied Algebra 36 (1985), 53-94.
18. D. Thérien, Two-sided wreath product of categories, J. Pure and Appl. Algebra 74 (1991), 307-315.
19. D. Thérien and A. Weiss, Graph congruences and wreath products, J. Pure and Applied Algebra 36 (1985), 205-215.
20. B. Tilson, Categories as algebra: an essential ingredient in the theory of monoids, J. Pure and Applied Algebra 48 (1987), 83-198.