Determination of the Final State of an Automaton Whose Initial State Is Unknown | IEEE Journals & Magazine | IEEE Xplore