Abstract
In this work we present a different proof of results by K.B. Krohn and J. L. Rhodes [1], and give a new result on the same lines. These authors proved that every function computed by a finite state machine can be constructed by “elementary operations” on a set of “prime functions.” By extending the scope of elementary operations, we now show that all functions computed by finite machines are built from a single function.
Similar content being viewed by others
References
K. B. Krohn and J. L. Rhodes:Algebraic theory of machines. Prime decomposition theorem for semigroups and machines, Trans. Amer. Math. Soc.,116 (1965), 450–464.
K. B. Krohn and J. L. Rhodes:Complexity of finite semigroups and finite state machines, to appear in Proc. of the Conference on Algebraic Theory of Machines, Languages and Semigroups.
K. B. Krohn, R. Mateosian and J. L. Rhodes:Ideals in finite semigroup and finite state machines, Mathematical System Theory1 (1967), 59–66.
S. C. Kleene.Representation of events in nerve nets, Automata Studies, Princeton (1956), 3–41.
M. O. Rabin and D. Scott:Finite automata and their decision problems, IBM Journal of Research and Development,3 (April 1959), 114–122.
D. Rees:On semigroups, Proc. of the Cambridge Phil. Soc., (1940), 387–400.
Author information
Authors and Affiliations
Additional information
This work is based on a M.Sc. Thesis prepared at the Hebrew University of Jerusalem under the supervision of Professor M. Rabin. The author is deeply indebted to Professor M. Rabin for his interest and help in this work, and to Professor E. Shamir for his help in preparing this work for publication.
Partially supported by ONR Information Systems Branch Contract No. F 61052-67-0055.
Rights and permissions
About this article
Cite this article
Magidor, M. Decomposition theorems for finite sequential machines. Israel J. Math. 6, 246–260 (1968). https://doi.org/10.1007/BF02760257
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02760257