NFA Membership; Conversion of Lambda-NFA to Minimal DFA (using Myhill-Nerode Theorem); Conversion of Regular Grammar to NFA
Conversion of Lambda-NFA to Minimal DFA
Regular Grammar -> Lambda-Free Regular Grammar -> Equivalent Finite State Automaton (NFA) -> DFA