CS 481 Automata, Winter 1998 
DFA Simulator
--------------


{0}:panther:/mat01/mat/matrss/>more ee.pro
start_state(ee).
final_state(ee).
delta(ee,a,oe).
delta(ee,b,eo).
delta(eo,a,oo).
delta(eo,b,ee).
delta(oe,a,ee).
delta(oe,b,oo).
delta(oo,a,eo).
delta(oo,b,oe).
{0}:panther:/mat01/mat/matrss/>cprolog ~matrss/dfa
C-Prolog version 1.5
[ Restoring file /mat01/mat/matrss/dfa ]

yes
| ?- ['ee.pro'].
ee.pro consulted 396 bytes 0.0333333 sec.

yes
| ?- run_dfa(abaaab).

yes
| ?- run_dfa(abaab).

no
| ?- run_dfa(nil).

yes
| ?- run_dfa(aa).

yes
| ?- run_dfa(abababababab).

yes
| ?- halt.

[ Prolog execution halted ]
{0}:panther:/mat01/mat/matrss/>