## Specification for NFA

Variable Description
$n$ $\mid Q\mid$ The number of states of the NFA
$l$ $\mid F-I\mid$ The number of final states that are not initial states
$k$ $\mid \Sigma\mid$ The number of symbols in the alphabet
$f$ $\mid F\mid$ The number of final states