Abstract
There are several known ways to define a product automaton on the cartesian product of the state sets of two given automata. This paper introduces a new product called the cartesian composition and discusses how various properties of the product automaton depend on the corresponding properties of the factors. A main result is that any finite connected automaton has a unique representation as a cartesian composition of prime automata.
Similar content being viewed by others
References
G. Birkhoff, andJ. D. Lipson, Heterogeneous algebras,J. Combinatorial Theory 8 (1970), 115–133.
W. Dörfler, Zur algebraischen Theorie der Automaten.EIK 9 (1973), 171–177.
W. Dörfler, Halbgruppen und Automaten,Rend. Sem. Mat. Univ. Padova 50 (1973), 1–18.
S. Eilenberg, Automata, Languages and Machines, Academic Press, 1974.
A. C. Fleck, Isomorphism groups of automata,J. Assoc. Comp. Machinery 9 (1962), 469–476.
A. C. Fleck, On the automorphism group of an automaton,J. Assoc. Comp. Machinery 12 (1965), 566–569.
F. Gecseg andI. Peak,Algebraic Theory of Automata, Akadémiai Kiado, Budapest, 1972.
H. E. Pickett, Note concerning the algebraic theory of automata,J. Assoc. Comp. Mackinery 14 (1967), 282–288.
Ch. A. Trauth, Group-type automata,J. Assoc. Comp. Machinery 13 (1966), 160–175.
G. P. Weeg, The structure of an automaton and its operation preserving group,J. Assoc. Comp. Machinery 9 (1962), 345–349.
G. P. Weeg, The automorphism group of the direct product of strongly related automata,J. Assoc. Comp. Machinery 12 (1965), 187–195.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Dörfler, W. The cartesian composition of automata. Math. Systems Theory 11, 239–257 (1977). https://doi.org/10.1007/BF01768479
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01768479