Abstract
The inverse of the state space approach to finite automata is developed. Both the obverse and converse aspects of the state space approach are extended to the general case in which the alphabet of a finite automaton consists of 2m symbols wherem is any positive integer. Relevant algorithms are designed and analyzed. State equations having or not having rational-function solutions are investigated and discussed.
Similar content being viewed by others
References
T. T. Lee, A state space approach to the finite automata,Int. J. Comp. Inf. Sci.,12(5): 317–335 (1983).
S. Lang, Algebra, Addison-Wesley, Reading, (1965).
G. Bachman and L. Narici, Functional Analysis, Academic Press, New York, (1966).
G. Birkhoff and S. Maclane, A Survey of Modern Algebra, Macmillan, New York, (1941).
E. Horowitz and S. Sahni, Fundamentals of Data Structures, Computer Science Press, Potomac, (1976).
D. E. Knuth,Fundamental algorithms, in Vol. I/The Art of Computer Programming, Second Edition, Addison-Wesley, Reading, (1975).
A. Ginzburg, Algebraic Theory of Automata, Academic Press, New York, (1968).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Yang, CC., Huang, H. Algorithms for the inverse and a generalization of the state space approach to finite automata. International Journal of Computer and Information Sciences 13, 59–76 (1984). https://doi.org/10.1007/BF00989483
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00989483