Leírás
Bach Iván könyve azoknak szól akik programnyelvekkel foglalkoznak, de segít azoknak is akik a természetes nyelv, a matematikai logika, a gépelemzés terén formális eszközökkel akarják megfogalmazni kérdéseiket és kijelentéseiket.A formális nyelveknek két eredete is van. Az egyik a matematikai logika formalizálása, a másik a természetes nyelvek szerkezetének számítógéppel való átírása. A kötet áttekinti a nyelvek osztályozását és a nyelvosztályok kapcsolatát a "különböző erejű" automatákkal (véges automaták, veremautomaták és Turing-gépek), s emellett bemutatja a hatékony elemzés és fordítás eszközeit is. A kötet ajánlható a programnyelvekkel foglalkozóknak és azoknak, akik a természetes nyelv, a matematikai logika, a gépelemzés terén kérdéseiket formális eszközökkel akarják megfogalmazni.
| Kiadó | Typotex Kiadó |
| Kiadás éve | 2005 |
| Oldalak | 254 |
| Súly | 440 g |
| Borító | puhatáblás, ragasztókötött |
| Nyelv | Magyar |
