NFA Membership; Conversion of Lambda-NFA to Minimal DFA (using Myhill-Nerode Theorem); Conversion of Regular Grammar to NFA