Nástroj na vyhodnocování lambda kalkulu

Abstract

Tato bakalářská práce se zabývá analýzou, návrhem a implementací nástroje pro vyhodnocování lambda kalkulu. Vytvořený nástroj, nazvaný LambdaEvaluator, podporuje normální a aplikativní vyhodnocování, symbolické názvy a přímé vyhodnocení matematických a logických výrazů. Největším přínosem nástroje je schopnost zobrazit uživateli detailní informace o průběhu vyhodnocování, díky čemuž může být použit při studiu lambda kalkulu. LambdaEvaluator je úspěšně otestován na příkladech z předmětu Programovací paradigmata.Na přiloženém CD se nalézá nástroj LambdaEvaluator, jeho zdrojové kódy a manuál k použití.

This bachelor thesis deals with analysis, design and implementation of lambda calculus evaluation tool. The evaluation tool, called LambdaEvaluator, supports normal-order and applicative-order evaluation, symbolic names and direct evaluation of math and logic expressions. The main benefit of the tool is the ability to display detailed information about the evaluation process to the user, therefore it can be used to study the lambda calculus. LambdaEvaluator is successfully tested on examples from course Programming paradigms. On the attached CD, there are the LambdaEvaluator tool, its source code, and user manual.