| Tartalom | 5 |
| |
| Előszó | 7 |
| |
| I. KÖTET: MATEMATIKAI BEVEZETŐ NYELVÉSZEKNEK | 9 |
| 1. A halmaz | 10 |
| 1.1 A halmaz fogalma | 10 |
| 1.2 Halmazok (tartalmának) meghatározása | 12 |
| 1.3 A halmazok világa | 19 |
| 1.4 A halmazműveletek összefüggései | 26 |
|
| 2. Relációk és függvények | 35 |
| 2.1 Relációk | 35 |
| 2.2 A függvény | 45 |
| 2.3 Relációk tulajdonságai | 53 |
|
| 3. Végtelenek | 69 |
| 3.1 Halmazok nagysága | 69 |
| 3.2 Megszámlálható halmazok | 72 |
| 3.3 Nem-megszámlálható halmazok | 74 |
|
| 4. Modellelmélet | 78 |
| 4.1 Formális rendszerek és modellek | 78 |
| 4.2 Logikai rendszerek | 82 |
| 4.3 Axiomatikus rendszerek | 105 |
| 4.4 Elméletek és modellek kapcsolata és tulajdonságai | 110 |
| |
| Függelék I. | 120 |
| Függelék I.1 A halmazelmélet Zermelo-Fränkel axiómarendszere | 120 |
| Függelék I.2 Elemi kombinatorikai számítások | 121 |
| |
| A gyakorlatok megoldása I. | 127 |
| |
| II. KÖTET: GRAMMATIKÁK ÉS AUTOMATÁK | 143 |
|
| Bevezetés | 145 |
|
| 1. Nyelvek és nyelvtanok | 149 |
| 1.1 A nyelv formális meghatározása | 149 |
| 1.2 A nyelvtan formális meghatározása | 155 |
| 1.3 A Chomsky-féle hierarchia | 159 |
|
| 2. A reguláris (3. típusú) nyelvek | 165 |
| 2.1 Lineáris nyelvtanok | 165 |
| 2.2 Véges automaták | 169 |
| 2.3 Reguláris nyelvek | 182 |
| 2.4 Ekvivalencia tétel | 187 |
| 2.5 A reguláris nyelvosztály tulajdonságai | 192 |
|
| 3. A környezetfüggetlen (2. típusú) nyelvek | 198 |
| 3.1 Környezetfüggetlen nyelvtanok | 198 |
| 3.2 Veremautomaták | 200 |
| 3.3. Ekvivalencia tétel | 207 |
| 3.4 A környezetfüggetlen nyelvosztály tulajdonságai | 209 |
|
| 4. A fák | 215 |
| 4.1 Az összetevős szerkezeti fa | 215 |
| 4.2 A fák matematikai tulajdonságai | 219 |
| 4.3 Nyelvtanok és fák | 225 |
|
| 5. A megszorÍtatlan (0. típusú) nyelvek | 228 |
| 5.1 Megszorítatlan nyelvtanok | 228 |
| 5.2 Turing-gépek | 230 |
| 5.3 Ekvivalencia tétel | 242 |
|
| 6. A környezetfüggő (1. típusú) nyelvek | 243 |
| 6.1 Környezetfüggő nyelvtanok | 243 |
| 6.2 Lineárisan korlátozott automaták | 245 |
| 6.3 Ekvivalencia tétel | 249 |
| 6.4 Az 1. nyelvosztály tulajdonságai | 249 |
|
| 7. Enyhén környezetfüggő nyelvtanok | 251 |
| 7.1 Indexelt nyelvtanok | 251 |
| 7.2 Faépítő nyelvtanok | 258 |
| 7.3 Kategoriális nyelvtanok | 263 |
|
| Összegzés | 272 |
| |
| Függelék II | 275 |
| Függelék II.1 Transzformáció, funkcionális projekció | 275 |
| Függelék II.2 LFG | 277 |
| Függelék II.3 GPSG | 279 |
| Függelék II.4 UCG | 280 |
| Függelék II.5 Generatív szemantika és lexikon | 282 |
| |
| A gyakorlatok megoldása II. | 284 |
| |
| Irodalom | 300 |
| |
| Tárgymutató | 303 |
támogatta.