opora

Recommendations

Info

KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A ZÁSOBNÍKOVÉ AUTOMATY63 Obrázek 4.10: Syntaktická analýza shora dolů je A nejlevějším nonterminálem, který má být přepsán. Dále předpokládejme, že gramatika obsahuje n pravidel s levou stranou A: A → α 1 | α 2 | . . . | α n Jak poznáme, kterým řetězcem α i je třeba nahradit nonterminál A? Podobně při Obrázek 4.11: Syntaktická analýza zdola nahoru analýze zdola nahoru, kdy je v každém kroku redukována l-fráze větné formy, spočívá hlavní problém v určení začátku a konce l-fráze. Jedním z řešení těchto problémů je náhodný výběr některé z možných alternativ. Ukáže-li se později, že zvolená alternativa nebyla správná, je třeba proces rozkladu „vrátit“ a uvažovat jinou alternativu. (Při syntaktické analýze shora dolů se například pokoušíme přepisovat A řetězci α 1 , α 2 . . . tak, aby se prefix získané levé derivace, který obsahuje pouze terminální symboly, shodoval s prefixem analyzované věty). Tento typ analýzy se nazývá syntaktická analýza s návratem (Syntax analysis with backup). I když počet návratů je omezený, je patrné, že analýza s návratem je časově náročná. Kromě toho jsou návraty zdrojem komplikací při sémantickém vyhodnocování překládaného programu. Praktickým řešením problémů syntaktické analýzy programovacích jazyků jsou tzv. deterministické gramatiky (kapitola 6.), které umožňují na základě kontextu
KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A ZÁSOBNÍKOVÉ AUTOMATY64 zpracovávaného podřetězce větné formy, určit správnou alternativu v každém kroku analýzy. Tento typ syntaktické analýzy se nazývá deterministická syntaktická analýza (deterministický rozklad) nebo syntaktická analýza bez návratu. Pro ilustraci role kontextu uvažujme větu i + i ∗ i v gramatice z příkladu 4.3. Po zpracování podřetězce i + i nám kontext reprezentovaný terminálem ∗ pomůže určit frázi, kterou není i + i, ale podřetězec i ∗ i. 4.5 Transformace bezkontextových gramatik Obecně neexistuje algoritmická metoda, která by umožňovala sestrojit gramatiku generující jazyk s libovolnou strukturou. Teorie vyčíslitelnosti dokonce ukazuje, že nekonečně mnoho formálních jazyků nelze popsat žádným konečným formálním systémem, tudíž ani gramatikou. Existuje však celá řada užitečných transformací gramatik, které dovolují modifikovat gramatiku, aniž by byl porušen generovaný jazyk. V tomto odstavci popíšeme některé z těchto transformací formou matematických zápisů příslušných algoritmů. Definice 4.6 Říkáme, že gramatiky G 1 a G 2 jsou ekvivalentní, jestliže platí L(G 1 ) = L(G 2 ), tj. jestliže jimi generované jazyky jsou totožné. V některých případech se může stát, že sestrojená gramatika obsahuje zbytečné symboly a nadbytečná přepisovací pravidla. Nehledě k tomu, že tato skutečnost může být důsledkem chyby v konstrukci gramatiky, je velmi pravděpodobné, že syntaktická analýza bude probíhat méně efektivně. Je proto důležité odstranit z gramatiky zbytečné symboly a nadbytečná pravidla. Uvažujme například gramatiku G = ({S, A}, {a, b}, P, S), kde P = {S → a, A → b}. Je zřejmé, že nonterminál A a terminál b se nemohou objevit v žádné větné formě. Proto je můžeme z gramatiky G odstranit spolu s nadbytečným pravidlem A → b, aniž se změní jazyk L(G). Definice 4.7 Nechť G = (N, Σ, P, S) je gramatika. Říkáme, že symbol X ∈ (N ∪ Σ) je v gramatice G zbytečný, jestliže neexistuje derivace tvaru S ⇒ ∗ wXy ⇒ ∗ wxy. Řetězce w, x, y jsou v Σ ∗ . Abychom zjistili, zda nonterminál A je zbytečný, popíšeme algoritmus určující, může-li se z nonterminálu A generovat řetězec terminálních symbolů, tj. zjišťujeme, zda {w | A ⇒ ∗ w, w ∈ Σ ∗ } = ∅ Tento algoritmus lze rozšířit na algoritmus, který zjišťuje, je-li jazyk, generovaný bezkontextovou gramatikou, neprázdný. Algoritmus 4.1 Je L(G) neprázdný? Vstup: gramatika G = (N, Σ, P, S). Výstup: ANO je-li L(G) ≠ ∅, NE v opačném případě. Metoda: Sestrojíme množiny N 0 , N 1 , . . . rekurzivně takto (1) N 0 = ∅, i = 1 (2) N i = {A | A → α je v P ∧ α ∈ (N i−1 ∪ Σ) ∗ } (3) Je-li N i ≠ N i−1 , polož i = i + 1 a vrať se ke kroku 2. Je-li N i = N i−1 , polož N t = N i (4) Jestliže výchozí symbol S je v N t , pak je výstup ANO, jinak NE. Poznámka 4.3 Jestliže množina nonterminálů N má n prvků, pak, protože N t ⊆ N, musí algoritmus 4.1 skončit maximálně po n + 1 iteracích kroku 2.
Page 1 and 2:
Teoretická informatika TIN Studijn
Page 3 and 4:
OBSAH 2 4 Bezkontextové jazyky a z
Page 5 and 6:
OBSAH 4 7.2 Třídy složitosti . .
Page 7 and 8:
KAPITOLA 1. ÚVOD 6 1.1 Obsahové a
Page 9 and 10:
Kapitola 2 Jazyky, gramatiky a jeji
Page 11 and 12:
KAPITOLA 2. JAZYKY, GRAMATIKY A JEJ
Page 13 and 14: KAPITOLA 2. JAZYKY, GRAMATIKY A JEJ
Page 23 and 24: KAPITOLA 3. REGULÁRNÍ JAZYKY 22
Page 25 and 26: KAPITOLA 3. REGULÁRNÍ JAZYKY 24 3
Page 27 and 28: KAPITOLA 3. REGULÁRNÍ JAZYKY 26 D
Page 33 and 34: KAPITOLA 3. REGULÁRNÍ JAZYKY 32 V
Page 49 and 50: KAPITOLA 3. REGULÁRNÍ JAZYKY 48 P
Page 53 and 54: KAPITOLA 3. REGULÁRNÍ JAZYKY 52 C
Page 55 and 56: KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 63: KAPITOLA 4. BEZKONTEXTOVÉ JAZYKY A
Page 101 and 102: Kapitola 5 Turingovy stroje Cílem
Page 103 and 104: KAPITOLA 5. TURINGOVY STROJE 102 5.
Page 105 and 106: KAPITOLA 5. TURINGOVY STROJE 104
Page 107 and 108: KAPITOLA 5. TURINGOVY STROJE 106 L:
Page 109 and 110: KAPITOLA 5. TURINGOVY STROJE 108 St
Page 111 and 112: KAPITOLA 5. TURINGOVY STROJE 110 p
Page 113 and 114: KAPITOLA 5. TURINGOVY STROJE 112
Page 115 and 116:
KAPITOLA 5. TURINGOVY STROJE 114 -
Page 117 and 118:
KAPITOLA 5. TURINGOVY STROJE 116 5.
Page 119 and 120:
KAPITOLA 5. TURINGOVY STROJE 118 D
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
KAPITOLA 7. SLOŽITOST 146 7.1.3 Sl
Page 149 and 150:
KAPITOLA 7. SLOŽITOST 148 Příkla
Page 151 and 152:
KAPITOLA 7. SLOŽITOST 150 • Napr
Page 153 and 154:
KAPITOLA 7. SLOŽITOST 152 7.2.4 Ne
Page 155 and 156:
KAPITOLA 7. SLOŽITOST 154 • Stro
Page 157 and 158:
KAPITOLA 7. SLOŽITOST 156 7.3.4 Uz
Page 159 and 160:
KAPITOLA 7. SLOŽITOST 158 Pokud pr
Page 161 and 162:
KAPITOLA 7. SLOŽITOST 160 7.5.1 Po
Page 163 and 164:
KAPITOLA 7. SLOŽITOST 162 7.5.4 V
Page 165 and 166:
KAPITOLA 7. SLOŽITOST 164 6. Uveď
show all

opora

Create successful ePaper yourself

Delete template?

Save as template?