| Előszó | 9 |
| Formális nyelvek szintatikus elemzése | |
| Bevezetés | 15 |
| Alapfogalmak | 17 |
| Szimbólumok és füzérek | 17 |
| Relációk | 18 |
| Nyelvek és nyelvtanok | 19 |
| Szintaxisfa és egyértelműség | 21 |
| Nyelvtanok redukálása | 23 |
| Véges automaták | 24 |
| A helyettesítési szabályokra vonatkozó elnevezési és jelölési konvenciók | 26 |
| Chomsky-féle normálforma | 26 |
| Lexikális elemzés | 28 |
| A lexikális és szintaktikus elemzés elkülönítése | 28 |
| A szimbólumfelismerő feladata | 29 |
| A reguláris nyelvek elemzése | 30 |
| A szimbólumfelismerő megvalósítása | 31 |
| Az elemzési feladat és alapvető megoldási stratégiái | 36 |
| Az elemzési eljárások értékelése | 37 |
| Az alapvető megoldási stratégiák általános jellemzése | 38 |
| A nem determinisztikus elemzők közös vonásai | 41 |
| Az általános felülről lefelé haladó elemző | 41 |
| Az általános alulról felfelé haladó elemző | 43 |
| A determinisztikus elemzés előfeltételei | 45 |
| Az egyes elemzési eljárások általános jellemzése | 46 |
| A szemantikus tevékenységek beiktatása | 47 |
| Párhuzamos elemzők | 49 |
| Párhuzamos alulról felfelé haladó elemző | 49 |
| Párhuzamos felülről lefelé haladó elemző | 51 |
| Rekurzív leszállás | 58 |
| Az elemzőgép | 58 |
| Az elemzőgép-programozás lehetőségei és korlátai | 60 |
| Példa a rekurzív leszállás megvalósítására | 62 |
| Precendencia-elemzők | 66 |
| Egyszerű precedencia | 67 |
| Precedencia-függvények | 69 |
| Az egszerű precedencia-relációk ütközésének feloldása | 72 |
| Példa a precendencia-függvények kiszámítására | 72 |
| Gyenge precedencia | 75 |
| (1, 2) (2, 1)-precedencia | 77 |
| Az (1,2) (2,1) precedencia-elemző megvalósítása | 78 |
| Operátorprecendencia | 80 |
| A precedencia-elemzők összefoglalása | 83 |
| Átmenetmatrix | 85 |
| Kibővített operátornyelvtan | 85 |
| Az átmenetmátrix által vezérelt elemzés alapelvei | 87 |
| Az átmenetmátrix-elemző előállítása és működése | 89 |
| Példa az átmenetmátrix előállítására | 90 |
| Korlátos környezet | 93 |
| A korlátoskörnyezet-elemzők előállítása és működése | 93 |
| MSP-nyelvtanok | 96 |
| LR-elemzők | 97 |
| Az LR(k)-elemzés | 97 |
| Az LR(k)-elemző előállítása | 99 |
| SLR(I)-nyelvtanok | 101 |
| Példa az SLR(I)-elemző előállítására | 103 |
| Produckió-nyelv | 107 |
| A nyelv leírása | 107 |
| A rekurzív leszállás determinisztikus változatának Produkció-programja | 110 |
| A gyengeprecedencia-elemző Produkció-programja | 113 |
| Szűrő | 116 |
| A szűrés alapelvei | 116 |
| A szűrő elemzőként való alkalmazása | 122 |
| A szűrő megvalósítása | 123 |
| Az elemzési eljárások összefoglaló áttekintése | 125 |
| Az elemzésnek szintaktikus hiba észlelése utáni folytatása | 126 |
| A formális nyelvek szintaktikus elemzésének rövid története | 129 |
| LL-nyelvek és -nyelvtanok | |
| Bevezetés | 135 |
| Fogalmak | 137 |
| LL(k)-nyelvek és -nyelvtanok | 141 |
| A szintaktikus elemzés feladata | 141 |
| LL(k)-nyelvtanok | 142 |
| LL(k)-nyelvtan definíciója | 143 |
| Tétel | 145 |
| Tétel | 146 |
| Tétel | 147 |
| LL(k)-elemzés | 149 |
| A k-előrenéző elmezési algoritmus | 149 |
| Elemzőtábla előállítása az I-előrenéző elemzési algoritmushoz | 152 |
| Tétel | 157 |
| Elemzőtábla előállítása a k-előrenéző elemzési algoritmushoz | 158 |
| Nyelvtanok vizsgálata az LL(K) tulajdonság szempontjából | 163 |
| Összefoglaló megjegyzések, fontosabb tételek az LL-nyelvek és -nyelvtanok témaköréből | 167 |
| LL(I)-nyelvek és -nyelvtanok | 169 |
| Az LL(I) tulajdonság szemléletes jelentése | 169 |
| Tétel | 170 |
| Megjegyzések | 171 |
| Tétel | 172 |
| Az LL(I) tulajdonsági vizsgálata | 174 |
| Nyelvtantranszformációk, szemantika a nyelvtanban | 184 |
| Nyelvtantranszformációk | 184 |
| A szemtantika beépítése a nyelvtanba | 190 |
| Függelék | 195 |
| Irodalomjegyzéke | 201 |
Folytatás Microsoft-tal