Formális nyelvek

Egyetemi tankönyv

Szerző

Bach Iván

Budapest

'Bach Iván: Formális nyelvek ' összes példány

Kiadó:	Typotex Kiadó
Kiadás helye:	Budapest
Kiadás éve:	2002
Kötés típusa:	Ragasztott papírkötés
Oldalszám:	254 oldal
Sorozatcím:
Kötetszám:
Nyelv:	Magyar
Méret:	24 cm x 17 cm
ISBN:	963-913-292-6
Megjegyzés:	Fekete-fehér ábrákkal.

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

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

Fülszöveg

- Mit jelent az, hogy formális nyelv, sőt nyelvek?
- Két eredete is van. Az egyik a matematikai logika formalizálása, a másik az az óhaj, hogy a számítógéppel át tudják írni a természetes nyelvek szerkezetét. Legnagyobb fejlődését a 60-as évek hozták meg, amikor a programnyelvek szabatos megfogalmazásának igénye lépett fel.
- Mit tud épp ez a könyv?
- Átfogóan áttekinti a nyelvek osztályozását és a nyelvosztályok kapcsolatát a "különböző erejű" automatákkal (itt a véges automatákra, veremautomatákra és Turing-gépekre kell gondolni), emellett bemutatja a hatékony elemzés és fordítás eszközeit. Ezen felül matematikailag precíz és mégis - mondhatni - olvasmányos.
- Kit foglalkoztatnak a könyvbéli témák?
- Először is azokat, akiknek kötelező tantárgy. De mindenkit, aki programnyelvekkel akar foglalkozni, és segíti azokat is, akik a természetes nyelv, a matematikai logika, a gépelemzés stb. terén formális eszközökkel akarják megfogalmazni kérdéseiket és kijelentéseiket.
Bach Iván... Tovább

Tartalom

Előszó	9
Bevezetés	11
Történeti áttekintés	11
Formális nyelvek	13
A formális nyelvek definíciója	13
Grammatikák	14
Miért grammatika a grammatika - Egy illusztratív példa	18
A Chomsky-féle nyelvosztályok	20
A tartalmazás problémája - Eljárások és algoritmusok	23
Nyelvek és automaták	26
Reguláris nyelvek	29
Reguláris nyelvek és véges automaták	29
Determinisztikus és nemdeterminisztikus véges automaták	38
Minimálautomata	43
A két irányban mozgó véges automata	49
Műveletek nyelvekkel	57
Reguláris halmazok	71
Környezetfüggetlen nyelvek	79
A levezetési fa	79
Nyelvtanok átalakítása	86
Nyelvtanok normálalakjai	95
Veremautomaták	102
A környezetfüggetlen nyelvek és veremautomaták ekvivalenciája	114
Determinisztikus veremautomata - műveletek környezetfüggetlen nyelvekkel	126
Fordító automaták	137
Véges fordítók	137
Szintakszisvezérelt fordítási sémák	144
Veremfordító	148
Jellemző nyelvtanok	151
Szintaktikus elemzők	157
Általános elemzők, bal- és jobbelemezhetőség	157
A balelemzés, LL(k) nyelvtanok	167
A jobbelemzés, LR(k) nyelvek	182
Egyszerűsített jobbelemzés	189
Nyelvek és nyelvtanok	202
Az automataelmélet alapjai	207
A Turing-gép	207
A Turing-gép lehetőségei	211
A megállási probléma	220
A Turing-gép és a 0-ás osztályú nyelvek	224
Lineárisan korlátos automata	230
A számítástechnikai nyelvészet algoritmikusan eldönthetetlen feladatairól	234
Szószedet	243
Név- és tárgymutató	247
Irodalom	255

Témakörök

Bach Iván

Bach Iván műveinek az Antikvarium.hu-n kapható vagy előjegyezhető listáját itt tekintheti meg: Bach Iván könyvek, művek

Megvásárolható példányok

Nincs megvásárolható példány
A könyv összes megrendelhető példánya elfogyott. Ha kívánja, előjegyezheti a könyvet, és amint a könyv egy újabb példánya elérhető lesz, értesítjük.

Előjegyzem