Nulladrendű logika, mint szakterületi nyelv

Abstract

A számítástechnikában elterjedt módszer adott feladathoz tartozó, speciális nyelvek használata. Az adatbázisok világában a legismertebb lekérdezőnyelve, az SQL nyelv is ilyen, hasonlóképpen a böngészők által használt HTML nyelv. Továbbá ide sorolhatóak az egyes programok beállításait tartalmazó inicializáló (.INI) fájlok is. Ebben a szakdolgozatban egy logikai kifejezésekkel operáló „számológépet” mutatunk be, mely képes a nulladrendű logikai formulákat átalakítani, kiértékelni és az eredményt kijelezni. A dolgozat bemutatja azt, hogy hogyan lehet egy ilyen speciális nyelvet feldolgozó programot elkészíteni. Természetesen nem a nulláról indulunk az implementáció során, hanem felhasználjuk a fordítóprogramokat generáló ANTLR rendszert.