Ãbung zu Grundlagen der Logik und Logik-Programmierung
Ãbung zu Grundlagen der Logik und Logik-Programmierung
Ãbung zu Grundlagen der Logik und Logik-Programmierung
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Aufgabe 7-1: Erfüllbarkeit Aufgabe 7-2: Implikation Aufgabe 7-3: Lauflängencodierung AnhangAufgabenstellungLauflängencodierungBei <strong>der</strong> Lauflängencodierung werden mehrmals hintereinan<strong>der</strong>auftretende Zeichen durch das Zeichen selbst <strong>und</strong> seineHäufigkeit ersetzt. So wird beispielsweise die Folgeaaabbccccabbbb als 3a2b3c1a4b codiert.Eine Gruppe von aufeinan<strong>der</strong>folgenden gleichen Zeichen ist durcheinen Term [N, S] dar<strong>zu</strong>stellen, wobei N die Anzahl des ZeichensS ist.Example?- encode([a,a,a,b,b,c,c,c,a,b,b,b,b],X).X = [[3,a],[2,b],[3,c],[1,a],[4,b]]
Change language