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: 226 oldal
Sorozatcím:
Kötetszám:
Nyelv: Magyar  
Méret: 24 cm x 17 cm
ISBN: 963-913-292-6
É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
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ó8
Bevezetés9
Történeti áttekintés9
Formális nyelvek11
A formális nyelvek definíciója11
Grammatikák12
Miért grammatika a grammatika16
A Chomsky-féle nyelvosztályok18
A tartalmazás problémája21
Nyelvek és automaták23
Reguláris nyelvek25
Reguláris nyelvek és véges automaták25
Determinisztikus és nemdeterminisztikus véges automaták34
Minimálautomata39
A két irányban mozgó véges automata45
Műveletek nyelvekkel52
Reguláris halmazok66
Környezetfüggetlen nyelvek75
A levezetési fa75
Nyelvtanok átalakítása82
Nyelvtanok normálalakjai90
Veremautomaták97
A környezetfüggetlen nyelvek és veremautomaták ekvivalenciája109
Determinisztikus veremautomata121
Fordító automaták132
Véges fordítók132
Szintakszis vezérelt fordítási sémák139
Veremfordító143
Jellemző nyelvtanok146
Szintaktikus elemzők150
Általános elemzők, bal- és jobbelemezhetőség150
A balelemzés, LL(k) nyelvtanok160
A jobbelemzés, LR(k) nyelvek174
Egyszerűsített jobbelemzés181
Nyelvek és nyelvtanok194
Az automataelmélet alapjai199
A Turing-gép199
A Turing-gép lehetőségei203
A megállási probléma212
A Turing-gép és a 0-ás osztályú nyelvek216
Lineárisan korlátos automata221
Irodalom226

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