    deferred class
    	DFA

    General
    	cluster: lex
    	description: "General deterministic finite automata"

    Ancestors
    	AUTOMATON*

    Queries
    	find_successor (source, input_doc: INTEGER_32): STATE_OF_DFA
    	greatest_input: INTEGER_32
    	nb_states: INTEGER_32
    	possible_tokens (l: LINKED_LIST [INTEGER_32]): ARRAY [INTEGER_32]
    	recognize (l: LINKED_LIST [INTEGER_32]): INTEGER_32
    	start_number: INTEGER_32

    Commands
    	set_final (state, f: INTEGER_32)
    	set_start (n: INTEGER_32)
    	set_state
    	set_transition (source, input_doc, target: INTEGER_32)