This preview shows page 1. Sign up to view the full content.
Unformatted text preview: % discussed in class mauto(,S,) :- mfinal(S). mauto([X|T],S, [O|R]) :- mtrans(S,X,O,Snext),mauto(T,Snext,R). %transition and output function mtrans(s1,a,x,s2). mtrans(s2,b,y,s1). %final states mfinal(s2)....
View Full Document
This note was uploaded on 12/12/2009 for the course SE 3306 taught by Professor Nhut during the Spring '09 term at University of Texas at Dallas, Richardson.
- Spring '09