1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und ...
1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und ...
1. Klausur in Einführung in Berechenbarkeit, formale Sprachen und ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Matrikelnummer: 2<strong>1.</strong> 2. 2006b) (100 Punkte)Entscheiden Sie nun mit Hilfe des CYK-Algorithmus, ob das Wort yxxyx <strong>in</strong> L(G)liegt. Geben Sie hierfür die vom CYK-Algorithmus erzeugte Tabelle T (i, j) an.l = 5l = 4l = 3l = 2l = 1Platz für e<strong>in</strong>en zweiten Versuch (gültigen Versuch kennzeichnen!):l = 5l = 4l = 3l = 2l = 1Folgerung:7