Title :
kth-Order Finite Automaton
Author_Institution :
Department of Electrical Engineering and Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, Mass.
Abstract :
A kth-order finite automaton is an automaton whose next state is a function of its most recent k states as well as its present input. A procedure to test whether a given ordinary automaton is equivalent to some kth-order automaton is suggested.
Keywords :
Automata; Automatic testing; Laboratories;
Journal_Title :
Electronic Computers, IEEE Transactions on
DOI :
10.1109/PGEC.1963.263628
