And some of the states are designated final states, or synonymously accepting states, Final states are typically Denoted F. The thing that makes the automaton work is the transition function, This function, usually denoted by delta, takes two arguments, a state q, and an input symbol a. 