DFA Simulator Source

CS 481 Automata, Winter 1998 
DFA Simulator
CPROLOG SOURCE CODE
-------------------


run_dfa(nil) :- start_state(S), scan([],S).
run_dfa(I) :- start_state(S), name(I,L), scan(L,S).
scan([],S) :- final_state(S).
scan([X|L],S) :- delta(S,A,N), name(A,[X]), scan(L,N).

1/23/1998