The pair q c 0 = (q 0 , # n ) is called the initial configuration, and configurations with the first component in F are called final configurations.
for an n-bit binary incrementor, 2 n disjunctions have to be considered, and therefore a minimized transducer has to assign a separate state to each combination of bits, resulting in 2 n states and a similar number of transitions.