## Specification for DFA

Variable Description
$n$ $\mid Q\mid$ the number of states of the minimal DFA
$l$ $\mid F - \{q_0\}\mid$ the number of states that are final but are not the initial state
$k$ $\mid \Sigma\mid$ The number of symbols in the alphabet
$f$ $\mid F\mid$ the number of final states