Übung zur Vorlesung "Computerlinguistik I"

Übung zur Vorlesung "Computerlinguistik I"
Wintersemester 2011/12, Prof. Dr. Udo Hahn, Erik Fäßler
Übungsblatt 11 vom 12.01.2012
Abgabe bis 17.01.2012, 23.59 Uhr; per Email (Standard Dateiformat: ps, pdf, oder doc) an
erik.faessler@uni-jena.de
Aufgabe 1 : Übergangsfunktionen und Konfigurationen von |− F SA
a
b
1 2 3
a
b
4
a)
Geben Sie für den dargestellten (nicht-deterministischen!) Automaten das Alphabet Σ und das daraus resultierende Σ ∗
an. Geben Sie außerdem die möglichen Zustandsübergänge in der Form
δ(q, α) = q ′ ,
an (wie beispielsweise auf den Folien 17 und 18).
q, q ′ ∈ Q, α ∈ Σ
Dann etwas abstrakter: Geben Sie die binäre Relation |− F SA (Bewegung) über Konfigurationen des Automaten an.
D.h., geben Sie die Menge alle Paare von Konfigurationen ((q, γ ω), (q ′ , ω)) mit q, q ′ ∈ Q und γ ∈ Σ, ω ∈ Σ ∗ an, so
dass (q, γ ω)| − F SA (q ′ , ω) gilt.
b)
Zeigen Sie, dass die Worte ab und abb von diesem Automaten akzeptiert werden, indem Sie die “kleinste” Relation
|− ∗ F SA (d.h. die reflexive und transitive Hülle) angeben. Dabei gilt:
1. (x,y) ∈ |− F SA =⇒ (x,y) ∈ |− ∗ F SA
2. |− ∗ F SA ist reflexiv und transitiv
(zur Erinnerung: R ist reflexiv: ∀ x ∈ M: xRx
R ist transitiv: ∀ x, y, z ∈ M: xRy ∧ yRz =⇒ xRz )
Tipp: Durch die transitive Hülle werden mehrere Bewegungen zusammengefasst. Aber jede Bewegung benötigt ein
bestimmtes Symbol auf dem Eingabeband, um gültig zu sein. Bei der Bildung eines transitiven Paares über eine einzelne
Zwischenkonfiguration muss die Ausgangskonfiguration also mit den “richtigen” Symbolen definiert sein. Beispiel:
Es gelte
(q, γ ω)| − F SA (q ′ , ω) und (q ′ , α ω ′ )| − F SA (q ′′ , ω ′ ).
Dann gilt mit der reflexiven und transitiven Hülle von |− F SA :
(q, γ α ω ′ )| − ∗ F SA (q ′′ , ω ′ ). (1)
Das heißt, ω muss für die Bildung des transitiven Paares ((q, γ α ω ′ ), (q ′′ , ω ′ )) mit α begonnen haben. Bei der ersten
Bewegung wird γ gelesen, bei der zweiten α. Deshalb sind in der linken Konfiguration von Formel 1 beide Symbole
enthalten.
1

Aufgabe 2 : FST für y->ie
a)
Erstellen Sie eine Architektur für 2-Ebenen-Morphologie, die Wörter wie city, study, country etc. korrekt in ihre Pluralformen
überführt (cities, studies, ...), gleichzeitig aber Wörter, die nicht auf ’y’ enden ebenfalls korrekt behandelt (z.B.
cycle).
Sie benötigen:
• Einen lexical-to-intermediate-Transduktor mit integriertem Lexikon als Trie,
• Einen intermediate-to-surface-Transduktor, der nötige orthographische Transformationen vornimmt sowie
• Die drei entsprechenden Bänder.
Geben Sie die Transduktoren an und führen sie einen sample-Run durch.
2