Id: scan.tex,v 1.2 2007-11-06 07:43:14 waldmann Exp
Während ein Automat nur akzeptiert (oder ablehnt), soll ein Scanner die Eingabe in Tokens zerteilen.
Gegeben ist zu jedem Tokentyp Tk ein Ausdruck Xk, der genau die Token-Werte zu Tk beschreibt.
Der Eingabestring w soll so in Wörter wki zerlegt werden, daß