A kosaram
0
MÉG
5000 Ft
a(z) 5000Ft-os
szállítási
értékhatárig

Formális nyelvek

Egyetemi tankönyv

Szerző
Budapest
Kiadó: Typotex Kiadó
Kiadás helye: Budapest
Kiadás éve:
Kötés típusa: Ragasztott papírkötés
Oldalszám: 254 oldal
Sorozatcím: Az informatika elmélete
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
É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
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

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 1978 óta tartja kurzusait a Műegyetemen. A legendás professzorok közé tartozik. Régi tartozását rója le a könyv megjelentetésével a magyar szakkönyvkiadás. Vissza

Tartalom

Előszó9
Bevezetés11
Történeti áttekintés11
Formális nyelvek13
A formális nyelvek definíciója13
Grammatikák14
Miért grammatika a grammatika - Egy illusztratív példa18
A Chomsky-féle nyelvosztályok20
A tartalmazás problémája - Eljárások és algoritmusok23
Nyelvek és automaták26
Reguláris nyelvek29
Reguláris nyelvek és véges automaták29
Determinisztikus és nemdeterminisztikus véges automaták38
Minimálautomata43
A két irányban mozgó véges automata49
Műveletek nyelvekkel57
Reguláris halmazok71
Környezetfüggetlen nyelvek79
A levezetési fa79
Nyelvtanok átalakítása86
Nyelvtanok normálalakjai95
Veremautomaták102
A környezetfüggetlen nyelvek és veremautomaták ekvivalenciája114
Determinisztikus veremautomata - műveletek környezetfüggetlen nyelvekkel126
Fordító automaták137
Véges fordítók137
Szintakszisvezérelt fordítási sémák144
Veremfordító148
Jellemző nyelvtanok151
Szintaktikus elemzők157
Általános elemzők, bal- és jobbelemezhetőség157
A balelemzés, LL(k) nyelvtanok167
A jobbelemzés, LR(k) nyelvek182
Egyszerűsített jobbelemzés189
Nyelvek és nyelvtanok202
Az automataelmélet alapjai207
A Turing-gép207
A Turing-gép lehetőségei211
A megállási probléma220
A Turing-gép és a 0-ás osztályú nyelvek224
Lineárisan korlátos automata230
A számítástechnikai nyelvészet algoritmikusan eldönthetetlen feladatairól234
Szószedet243
Név- és tárgymutató247
Irodalom255

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