Gegeben sei die folgende informelle Beschreibung einer formalen Sprache L: (Blatt 4 Aufgabe 2)

Vokabular V = { 0,1 } (Ziffern 0 und 1)
Sprache L =
{ "alle Folgen aus V^*, die mit 00 beginnen und mit einer 1
abschließen, dazwischen kann Beliebiges aus V stehen" }

Schreiben Sie ein Oberon-Programm, dass einen endlichen Automaten simuliert, der gültige Sätze der obigen Sprache erkennt und ungültige Sätze ablehnt. Ein Satz gehört auch dann nicht zur Sprache L, wenn er andere Zeichen als 0 oder 1 enthält!

Implementieren Sie entweder Ihren eigenen endlichen Automaten von Blatt 4 Aufgabe 2 oder den der Musterlösung.