    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)