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