20.500.12556/RUL-117450 Algoritem za izračun lambda izrazov na FPGA vezju Algorithm for reducing lambda expressions on FPGA circuit Diplomsko delo predstavi algoritem za izračun oziroma poenostavitev po- ljubnih lambda izrazov, ki je primeren za implementacijo z FPGA vezjem. Diplomsko delo najprej predstavi teorijo lambda računa, predstavitev lambda izraza v pomnilniku in splošni algoritem za izračun lambda izrazov. Rezultat diplomske naloge je algoritem, zasnovan kot deterministični končni avtomat, ki za svoje delovanje uporablja nabor registrov, sklad in pomnilnik in lahko izračuna poljuben lambda izraz. Ker je algoritem zasnovan kot determini- stični končni avtomat, je primeren za implementacijo z FPGA vezjem. Im- plementiran je v programskem jeziku C in omogoča testiranje in beleženje podatkov o izvajanju. The diploma thesis presents an algorithm for solving an arbitrary lambda expression that is possible to implement with an FPGA circuit. The diploma thesis covers the theory of the lambda calculus, memory representation of a lambda expression and a general algorithm for solving lambda expressions. The result of the diploma thesis is an algorithm, designed as a deterministic finite automaton, which uses a set of registers, a stack and memory to solve any lambda expression. Because the algorithm is designed as a deterministic finite automaton, it can be easily implemented with an FPGA circuit. The algorithm is implemented in the C programming langugage and supports testing and measuring runtime data. lambda račun funkcijsko programiranje končni avtomat FPGA lambda calculus functional programming finite automaton FPGA true false false Slovenski jezik Angleški jezik Diplomsko delo/naloga 2020-07-10 12:10:01 2020-07-10 12:10:03 2024-01-15 08:47:47 0000-00-00 00:00:00 2020 0 0 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 25762 22576131 Habjan_Lovro_-_Algoritem_za_izracun_lambda_izrazov_na_FPGA_vezju.pdf Habjan_Lovro_-_Algoritem_za_izracun_lambda_izrazov_na_FPGA_vezju.pdf 1 CFD53E53FEBE4DDCFF0E9A6B3DC03CC3 45d062f0593f221e6adb87e971efaf56c5717b78f02edee001019960b9ceb9e3 2f6b3a3d-a1b9-11eb-a523-00155dcfd717 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=131320 Fakulteta za računalništvo in informatiko 0 0 0