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


Script started on Mon Jan 20 13:20:17 199
> more m1.pro
start_state(q0).
final_state(q2).
delta(q0,nil,q1).
delta(q0,a,q3).
delta(q1,a,q4).
delta(q1,b,q2).
delta(q3,nil,q1).
delta(q3,b,q4).
delta(q4,nil,q5).
> cprolog ~matrss/rmet
C-Prolog version 1.5
[ Restoring file /mat01/mat/matrss/rmet ]

yes
| ?- ['m1.pro'].
m1.pro consulted 344 bytes 0.0333333 sec.

yes
| ?- rm_etrans.

yes
| ?- halt.

[ Prolog execution halted ]
> more out.dat
start_state(q0).
delta(q0,a,q1).
delta(q0,a,q3).
delta(q0,a,q4).
delta(q0,a,q5).
delta(q0,b,q2).
delta(q1,a,q4).
delta(q1,a,q5).
delta(q1,b,q2).
delta(q3,a,q4).
delta(q3,a,q5).
delta(q3,b,q2).
delta(q3,b,q4).
delta(q3,b,q5).
final_state(q2).
>