Package jflex.dfa

Class DfaFactory


  • public class DfaFactory
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      private DfaFactory()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static DFA createFromNfa​(NFA nfa)
      Returns a DFA that accepts the same language as the NFA.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • DfaFactory

        private DfaFactory()
    • Method Detail

      • createFromNfa

        public static DFA createFromNfa​(NFA nfa)
        Returns a DFA that accepts the same language as the NFA.

        This DFA is usually not minimal.

        Returns:
        a DFA that accepts the same language as the NFA.