initial_state (377B)
1 # Initial state 2 3 A [state] in an [automaton] in which a [run] can begin. A [DFA] has exactly one initial state, an [NFA] can have multiple initial states (but up to adding a superinitial state with [epsilon_transitions], and [eliminating_epsilon_transitions], it amounts to the same) 4 5 Up: [automata_concepts] 6 7 Aliases: initial states 8 9 See also: [final_state], [nonfinal_state]