Determination of the Final State of an Automaton Whose Initial State Is Unknown
C. L. Liu · IEEE Transactions on Electronic Computers · 1963
Methods are developed to illustrate whether or not it is possible to determine the final state of a finite automaton when 1) the initial state of the automaton is unknown and the input sequence and its corresponding output sequence are given and 2) both the initial state and the input sequence are unknown and only the output sequence is given.