Folien
Folien Folien
Automaten und Berechenbarkeit 38 Der CYK-Algorithmus (Cocke, Younger, Kasami) Gegeben: G = (N,X,S,P) CNF-Grammatik w = a1a2···an • wij := wi···wj (i ≤ j) • Nij := {A ∈ N : A ⊢ ∗ G wij} (i ≤ j) Es gilt: (0) S ∈ N1n ⇔ w ∈ L(G) (1) A ∈ Nii ⇔ (A → ai) ∈ P (2) A ∈ Nij für i < j ⇔ ∃(A → BC) ∈ P ∃k : i ≤ k < j : B ∈ Nik,C ∈ Nk+1j
Automaten und Berechenbarkeit 39 Satz 2.21 (CYK-Algorithmus) Bei einer gegebenen kontextfreien Grammatik G in CNF bestimmt der CYK-Algorithmus in der Zeit O(n 3 ), ob ein gegebenes Wort w mit |w| = n in L(G) ist.
- Seite 1 und 2: Automaten und Berechenbarkeit 1 1 E
- Seite 3 und 4: Automaten und Berechenbarkeit 3 1.2
- Seite 5 und 6: Automaten und Berechenbarkeit 5 Def
- Seite 7 und 8: Automaten und Berechenbarkeit 7 Kor
- Seite 9 und 10: Automaten und Berechenbarkeit 9 Ind
- Seite 11 und 12: Automaten und Berechenbarkeit 11 De
- Seite 13 und 14: Automaten und Berechenbarkeit 13 Hi
- Seite 15 und 16: Automaten und Berechenbarkeit 15 De
- Seite 17 und 18: Automaten und Berechenbarkeit 17 Le
- Seite 19 und 20: Automaten und Berechenbarkeit 19 De
- Seite 21 und 22: Automaten und Berechenbarkeit 21 Sa
- Seite 23 und 24: Automaten und Berechenbarkeit 23 De
- Seite 25 und 26: Automaten und Berechenbarkeit 25 De
- Seite 27 und 28: Automaten und Berechenbarkeit 27 Ko
- Seite 29 und 30: Automaten und Berechenbarkeit 29 (z
- Seite 31 und 32: Automaten und Berechenbarkeit 31 Be
- Seite 33 und 34: Automaten und Berechenbarkeit 33 Le
- Seite 35 und 36: Automaten und Berechenbarkeit 35 De
- Seite 37: Automaten und Berechenbarkeit 37 Sa
Automaten und Berechenbarkeit 39<br />
Satz 2.21 (CYK-Algorithmus) Bei einer gegebenen kontextfreien<br />
Grammatik G in CNF bestimmt der CYK-Algorithmus in der Zeit<br />
O(n 3 ), ob ein gegebenes Wort w mit |w| = n in L(G) ist.