A formális nyelvek szintaktikus elemzése

Szerző

Bánkfalvi Judit

Bánkfalvi Zsolt

Bolgár Gábor

Lektor

Náray Miklós

Budapest

'Bánkfalvi Judit: A formális nyelvek szintaktikus elemzése ' összes példány

Kiadó:	Közgazdasági és Jogi Könyvkiadó
Kiadás helye:	Budapest
Kiadás éve:	1978
Kötés típusa:	Fűzött kemény papírkötés
Oldalszám:	203 oldal
Sorozatcím:	Számki-könyvek
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-220-565-0

Értesítőt kérek a kiadóról

Értesítőt kérek a sorozatról

A beállítást mentettük,
naponta értesítjük a beérkező friss
kiadványokról

Tartalom

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