Algoritem za izračun lambda izrazov na FPGA vezjuHabjan, Lovro (Avtor) Slivnik, Boštjan (Mentor) lambda računfunkcijsko programiranjekončni avtomatFPGADiplomsko 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.20202020-07-10 12:10:01Diplomsko delo/naloga117450VisID: 25762COBISS_ID: 22576131sl