final_state (218B)
1 # Final state 2 3 A notion for [states] in an [automaton]. 4 5 If a [run] ends at a [state] which is a final state then the run is [accepting_run]. 6 7 Up: [automata_concepts] 8 9 Aliases: final states 10 11 See also: [nonfinal_state]