public static RandomICAutomatonGenerator < Boolean , Void > forDFA ( ) { return new RandomICAutomatonGenerator < Boolean , Void > ( ) . withStateProperties ( Random :: nextBoolean ) ; }
Creates a random IC automaton generator instance for generating DFAs . States in generated automata will be accepting or rejecting with equal probability .