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)