A nyelvek és számítások matematikai modelljeinek kézikönyve

Eredeti címe:

Handbook of Mathematical Models for Languages and Computation

Könyv tartalma:

A számításelméletet a számítástechnika számos területén felmerülő kihívások kezelésére használják, mint például a mesterséges intelligencia, a nyelvi processzorok, a fordítóprogramok írása, az információs és kódolási rendszerek, a programozási nyelvek tervezése, a számítógép-architektúra és más területek. Ahhoz, hogy az olvasók megragadhassák az elméletet érintő témákat, meg kell ismerkedniük a diszkrét matematika fogalmain - többek között halmazokon, relációkon, függvényeken, gráfokon és logikán - alapuló számítási és nyelvi modellekkel.

Ez a kézikönyv szigorúan bemutatja az ilyen jellegű fontos fogalmakat, és ezek segítségével tárgyalja a nyelvek és a számítások legfontosabb matematikai modelljeit, például a különböző klasszikus, valamint a modern automatákat és nyelvtanokat. Megmagyarázza használatukat a számításelmélet olyan döntő jelentőségű témáiban, mint a kiszámíthatóság, a megfejthetőség és a számítási bonyolultság.

A szerzők különös figyelmet fordítanak mindezen matematikai fogalmak és modellek megvalósítására, és világosan elmagyarázzák, hogyan kódolhatók a számítási gyakorlatban. Minden számítógépes program C# nyelven íródott.