• Keine Ergebnisse gefunden

Formale Methoden 1

N/A
N/A
Protected

Academic year: 2022

Aktie "Formale Methoden 1"

Copied!
7
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Gerhard J¨ager

Gerhard.Jaeger@uni-bielefeld.de

Uni Bielefeld, WS 2007/2008

5. Dezember 2007

1/7

(2)

Aquivalente Ableitungen ¨

Beispiel-Grammatik

VT = {Banane, das, die, gelbe, isst, kleine, M¨adchen}

VN T = {S, N P, V P, N, A, D}

S

R =



































S → N P, V P N P → D, N

N → A, N

V P → V, N P

D → das

D → die

N → Banane

N → M¨adchen

A → kleine

A → gelbe

V → isst



































(3)

Beispiel-Ableitung 1 S

N P, V P N P, V, N P D, N, V, N P D, A, N, V, N P D, A, N, V, D, N D, A, N, V, D, A, N das, A, N, V, D, A, N das, kleine, N, V, D, A, N das, kleine, M¨adchen, V, D, A, N das, kleine, M¨adchen, isst,D, A, N das, kleine, M¨adchen, isst, die, A, N das, kleine, M¨adchen, isst, die, gelbe, N das, kleine, M¨adchen, isst, die, gelbe, Banane

3/7

(4)

Aquivalente Ableitungen ¨

Beispiel-Ableitung 2 S

N P, V P N P, V, N P N P, V, D, N N P, V, D, A, N D, N, V, D, A, N D, A, N, V, D, A, N das, A, N, V, D, A, N das, kleine, N, V, D, A, N das, kleine, M¨adchen, V, D, A, N das, kleine, M¨adchen, isst,D, A, N das, kleine, M¨adchen, isst, die, A, N das, kleine, M¨adchen, isst, die, gelbe, N das, kleine, M¨adchen, isst, die, gelbe, Banane

(5)

Diese beiden Ableitungen sind intuitiv ¨aquivalent, weil die selben Regeln benutzt werden, und die Regeln auch auf die selben Teilketten angewendet werden. Dabei betrachten wir informell Symbole und Teilketten in verschiedenen

Ableitungsschritten als identisch, wenn in allen Zwischenschritten einfach kopiert worden sind.

Die Darstellung von Ableitungen kann vereinfacht werden, indem

pro Ableitungsschritt nur die Teilkette, die der rechten Seite der angewendeten Regel entspricht, in die n¨achste Zeile geschrieben wird, und

alle neuen Symbole durch einen Strich mit der zugeh¨origen linken Seite der Regel auf der n¨achst-h¨oheren Zeile verbunden werden.

5/7

(6)

Ableitungs-B¨ aume

S

NP VP

D N V NP

das A N isst D N

kleine M¨adchen die A N

gelbe Banane

(7)

Wichtig: Nicht bei allen Grammatiken k¨onnen Ableitungen als Ableitungsb¨aume dargestellt werden.

F¨ur linguistisch interessante Grammatiken ist das aber immer m¨oglich. (Das ist bei den sog. kontext-sensitiven Grammatiken der Fall — der Begriff wird sp¨ater noch erkl¨art.)

Der Ableitungsbaum enth¨alt alle linguistisch relevante Information; die Reihenfolge der einzelnen Ableitungsschritte ist linguistisch irrelevant.

7/7

Referenzen

ÄHNLICHE DOKUMENTE

3 Feststellung, dass alle Elemente der Menge durch endlich viele Anwendungen von Regeln aus (2) auf die in (1) genannten Elemente erzeugt werden k¨

• Z.B.: Wenn jeder Mensch (im Diskursuniversum) seinen Ehepartner liebt und niemand jemanden anderen liebt als seinen Ehepartner, dann gelten. ”

irreflexiv irreflexiv reflexiv symmetrisch symmetrisch symmetrisch asymmetrisch asymmetrisch nicht symmetrisch anti-symmetrisch anti-symmetrisch h¨ angt von R ab transitiv transitiv

(Computerprogramme), die entscheiden k¨ onnen, ob eine Kette zu einer bestimmten formalen Sprache geh¨ ort oder nicht... Wenn Verwechslungsgefahr besteht, schreiben wir hai f¨ ur

• Bei einem deterministischen Automaten ist in jedem Zustand f¨ ur jedes Eingabesymbol eindeutig festgelegt, in welchen Zustand der Automat wechselt. • Ein

Regul¨ are Ausdr¨ ucke, Typ-3-Grammatiken, deterministische endliche Automaten und nicht-deterministische Automaten beschreiben alle die selbe Klasse

Welche Regeln aber wirklich notwendig und sinnvoll sind, muss jeder Lehrer für seine Klasse selbst entscheiden.. Bei der Erstellung von Regeln sollten folgende Punkte

„Das je eigene Dasein stirbt faktisch immer schon, das heißt: es ist in einem Sein zu seinem Ende.“22 „Seiend zu seinem Tode, stirbt es faktisch, und zwar