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. |
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 |
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.