finite automaton

finite automaton has not provided any additional information.