Algoritem za izračun lambda izrazov na FPGA vezju

diplomsko delo

Lovro Habjan (Avtor), Boštjan Slivnik (Mentor)

Povzetek

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.

Ključne besede

lambda račun;funkcijsko programiranje;končni avtomat;FPGA;računalništvo in informatika;univerzitetni študij;diplomske naloge;

Podatki

Jezik:	Slovenski jezik
Leto izida:	2020
Tipologija:	2.11 - Diplomsko delo
Organizacija:	UL FRI - Fakulteta za računalništvo in informatiko
Založnik:	[L. Habjan]
UDK:	004(043.2)
COBISS:	22576131
Št. ogledov:	796
Št. prenosov:	171
Ocena:	0 (0 glasov)
Metapodatki:

Ostali podatki

Sekundarni jezik:	Angleški jezik
Sekundarni naslov:	Algorithm for reducing lambda expressions on FPGA circuit
Sekundarni povzetek:	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.
Sekundarne ključne besede:	lambda calculus;functional programming;finite automaton;FPGA;computer and information science;diploma;
Vrsta dela (COBISS):	Diplomsko delo/naloga
Študijski program:	1000468
Konec prepovedi (OpenAIRE):	1970-01-01
Komentar na gradivo:	Univ. v Ljubljani, Fak. za računalništvo in informatiko
Strani:	78 str.
ID:	11893718