deferred class NDFA General cluster: lex description: "Non-deterministic finite state automata" Ancestors AUTOMATON* Queries dfa: FIXED_DFA find_e_successors (source: INTEGER_32): LINKED_LIST [INTEGER_32] find_successors (source, input_doc: INTEGER_32): LINKED_LIST [INTEGER_32] greatest_input: INTEGER_32 nb_states: INTEGER_32 start_number: INTEGER_32 Commands construct_dfa delete_transition (source, input_doc, target: INTEGER_32) set_e_transition (source, target: INTEGER_32) set_final (state, f: INTEGER_32) set_start (n: INTEGER_32) set_state set_transition (source, input_doc, target: INTEGER_32)