| 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 |