Abstract
In some of their earlier papers the authors established correspondences between varieties of automata and semigroups and then found inconvenient the usual notion of transition semigroup of an automaton for dealing with automata satisfying some irregular identities. This is the motivation for assigning a new kind of semigroups to directable automata, which is done in this paper. The properties of these, so-called characteristic, semigroups are studied and semigroups that can be characteristic semigroups of directable automata are characterized. Finally, a correspondence between irregular varieties of automata and certain varieties of semigroups is given.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. D. Ardent and C. J. Stuth, On partial homomorphisms of semigroups, Pacific J. Math. 35, No. 1, (1970), 7–9.
C. J. Ash, Pseudovarieties, generalized varieties and similarly described classes, J. Algebra 92 (1985), 104–115.
S. Bogdanović, B. Imreh, M. Ćirić and T. Petković, Directable automata and their generalizations (A survey), in: S. Crvenković and I. Dolinka (eds.), Proc. VIII Int. Conf. “Algebra and Logic” (Novi Sad, 1998), Novi Sad J. Math. 29 (2) (1999), 31–74.
S. Burris and H. P. Sankappanavar, A course in universal algebra, Springer-Verlag, New York, 1981.
J. Černý, Poznámka k homogénnym experimentom s konečnými automatmi, Mat.-fyz. čas. SAV 14 (1964), 208–216.
D. H. Dao, Az irányítható automaták félcsoportjairól, Automataelméleti füzetek 1 (1978), 1–28, Eötvös Loránd University of Science, Budapest, 1978.
F. Gécseg and I. Peák, Algebraic Theory of Automata, Akadémiai Kiadó, Budapest, 1972.
V. M. Glushkov, Abstract theory of automata, Uspehi matem. nauk 16:5 (101) (1961), 3–62 (in Russian).
V. M. Glushkov, Abstract automata and partitions of free semigroups, DAN SSSR 136 (1961), 765–767 (in Russian).
S. C. Kleene, Representation of events in nerve nets and finite automata, Automata Studies, Princeton University Press, Princeton, N.J., 1956, 3–41.
M. Perles, M. O. Rabin and E. Shamir, The theory of definite automata, IEEE Trans. Electronic Computers EC-12 (1963), 233–243.
T. Petković, Varieties of automata and semigroups, Ph. D. Thesis, University of Niš, 1998, (in Serbian).
T. Petković, M. Ćirić and S. Bogdanović, Decompositions of automata and transition semigroups, Acta Cybernetica (Szeged) 13 (1998), 385–403.
T. Petković, M. Ćirić and S. Bogdanović, Correspondences between X-algebras, semigroups and congruences on free semigroups, Theoretical Computer Science (to appear).
T. Petković, M. Ćirić and S. Bogdanović, Theorems of Eilenberg’s Type for Automata, (to appear).
L. N. Shevrin, About some classes of abstract automata, Uspehi matem. nauk 17:6 108 (1962), p. 219 (in Russian).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petković, T., Ćirić, M., Bogdanović, S. (2003). Characteristic Semigroups of Directable Automata. In: Ito, M., Toyama, M. (eds) Developments in Language Theory. DLT 2002. Lecture Notes in Computer Science, vol 2450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45005-X_37
Download citation
DOI: https://doi.org/10.1007/3-540-45005-X_37
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40431-6
Online ISBN: 978-3-540-45005-4
eBook Packages: Springer Book Archive