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 ... Tovább
Formális nyelvek
Magyar Tudomány — 2002/3., Vaszil György
A magyar szakkönyvkiadás régi adósságát törleszti a kiadó, amikor Bach Iván műegyetemi előadás-jegyzeteinek könyv formában való megjelentetésével egy sokéves oktatói gyakorlat közben formálódott anyagot ad az érdeklődő olvasó kezébe. A magyar nyelvű könyvpiacon régóta hiány van ugyanis a formális nyelvek elméletébe bevezetést nyújtó, az egyetemi oktatásban tankönyvként is használható, megfelelően széles témaválasztékot kínáló munkákban.
Meglepő és sajnálatos ez a hiány, hiszen a tudományág alapvető fogalmainak ismerete elengedhetetlen a modern számítástudomány ... Tovább