CS 481 Automata, Winter 1998 
NFA (without-e) to DFA CONVERSION
----------------------------------


Script started on Wed Jan 15 16:32:18 199
{0}:panther:/mat01/mat/matrss/>more nfa1.pro
start_state(q0).
final_state(q1).
delta(q0,a,q0).
delta(q0,a,q1).
delta(q0,b,q0).
{0}:panther:/mat01/mat/matrss/>cprolog ~matrss/ntd
C-Prolog version 1.5
[ Restoring file /mat01/mat/matrss/ntd ]

yes
| ?- ['nfa1.pro'].
nfa1.pro consulted 184 bytes 0.0166667 sec.

yes
| ?- convert.

yes
| ?- halt.

[ Prolog execution halted ]
{0}:panther:/mat01/mat/matrss/>more out.dat
start_state([q0]).
delta([q0],a,[q0,q1]).
delta([q0],b,[q0]).
delta([q0,q1],a,[q0,q1]).
delta([q0,q1],b,[q0]).
final_state([q0,q1]).
{0}:panther:/mat01/mat/matrss/>