Id: eps.tex,v 1.1 2007-10-31 17:50:50 waldmann Exp
Definition. Ein -Automat ist ... mit T (Q×( {})×Q).
Definition. pAq wie früher, und pAq für (p,, q) T.
Satz. Zu jedem -Automaten A gibt es einen Automaten B mit L(A) = L(B).
Beweis: benutzt -Hüllen: