Zustand:

Zeichen:

Start

Z1

Z2

Ende

Fehler

Illegal. Zeichen

0

Z1

Z2

Z2

Z2

Fehler

Illegal

1

Fehler

Fehler

Ende

Ende

Fehler

Illegal

(anderes Zeichen)

Illegal

Illegal

Illegal

Illegal

Illegal

Illegal