Id: auto.tex,v 1.1 2007-10-31 17:50:50 waldmann Exp
Intern stellt man reguläre Sprachen lieber effizienter dar:
Ein (nichtdeterministischer) endlicher Automat A ist ein Tupel (Q, S, F, T) mit
NFA { alphabet = mkSet "ab" , states = mkSet [ 1, 2, 3] , starts = mkSet [ 2] , finals = mkSet [ 2] , trans = collect [ (1, 'a', 2) , (2, 'a', 1) , (2, 'b', 3) , (3, 'b', 2) ] }