Surinder Kumar Jain, University of Sydney. Automaton DFA NFA Ε-NFA CFG as a DFA Equivalence Minimal DFA Expressions Definition Conversion.