1.034.218
kiadvánnyal nyújtjuk Magyarország legnagyobb antikvár könyv-kínálatát
Formális nyelvek
Egyetemi tankönyv
| 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
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
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és | 9 |
| Történeti áttekintés | 9 |
| Formális nyelvek | 11 |
| A formális nyelvek definíciója | 11 |
| Grammatikák | 12 |
| Miért grammatika a grammatika | 16 |
| A Chomsky-féle nyelvosztályok | 18 |
| A tartalmazás problémája | 21 |
| Nyelvek és automaták | 23 |
| Reguláris nyelvek | 25 |
| Reguláris nyelvek és véges automaták | 25 |
| Determinisztikus és nemdeterminisztikus véges automaták | 34 |
| Minimálautomata | 39 |
| A két irányban mozgó véges automata | 45 |
| Műveletek nyelvekkel | 52 |
| Reguláris halmazok | 66 |
| Környezetfüggetlen nyelvek | 75 |
| A levezetési fa | 75 |
| Nyelvtanok átalakítása | 82 |
| Nyelvtanok normálalakjai | 90 |
| Veremautomaták | 97 |
| A környezetfüggetlen nyelvek és veremautomaták ekvivalenciája | 109 |
| Determinisztikus veremautomata | 121 |
| Fordító automaták | 132 |
| Véges fordítók | 132 |
| Szintakszis vezérelt fordítási sémák | 139 |
| Veremfordító | 143 |
| Jellemző nyelvtanok | 146 |
| Szintaktikus elemzők | 150 |
| Általános elemzők, bal- és jobbelemezhetőség | 150 |
| A balelemzés, LL(k) nyelvtanok | 160 |
| A jobbelemzés, LR(k) nyelvek | 174 |
| Egyszerűsített jobbelemzés | 181 |
| Nyelvek és nyelvtanok | 194 |
| Az automataelmélet alapjai | 199 |
| A Turing-gép | 199 |
| A Turing-gép lehetőségei | 203 |
| A megállási probléma | 212 |
| A Turing-gép és a 0-ás osztályú nyelvek | 216 |
| Lineárisan korlátos automata | 221 |
| Irodalom | 226 |
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űvekMegvá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.