Interpreter za lambda-račun

diplomski rad

• Autor: Sandro Lovnički
• Mentor: Vedran Čačić (mentor)
• Član povjerenstva: Vedran Čačić (predsjednik povjerenstva)
• Član povjerenstva: Goranka Nogo (član povjerenstva)
• Član povjerenstva: Zoran Vondraček (član povjerenstva)
• Član povjerenstva: Sonja Štimac (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Prirodoslovno-matematički fakultet; (Matematički odsjek); Zagreb
• Datum i država obrane: 2018-09-20, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: PRIRODNE ZNANOSTI; Matematika

Sažetak

Ukratko, u ovom radu upoznali smo čitatelja s osnovama \(\lambda\)-računa --- jednog od modela za proučavanje izračunavanja koji je ujedno poslužio i kao temelj teorije funkcijskih programskih jezika. Također, bavimo se numeralima --- reprezentacijama brojeva u \(\lambda\)-računu, postojećim brojevnim sustavima poput Churchovih numerala te binarnim brojevnim sustavom koji smo samostalno definirali. Kako bismo mogli evaluirati velike i komplicirane \(\lambda\)-izraze, stvorili smo i programski jezik pLam --- interpreter za čisti (eng. pure) Lambda račun s kojim možemo raditi interaktivno, a i pisati programe koje možemo spremiti kao tekstualne datoteke s ekstenzijom .plam te kasnije pokretati. U radu nastojimo popratiti svako poglavlje relevantnim primjerima kodova pisanih u jeziku pLam.

Sažetak (engleski)

In this paper, we introduce the reader to basics of \(\lambda\)-calculus — one of the models for studying computation which served as the foundation for the theory of functional programming languages. Furthermore, we deal with numerals — representations of numbers in \(\lambda\)-calculus, existant numeral systems like Church numerals and binary numerals which we defined ourselves. In order to evaluate large and complex \(\lambda\)-expressions, we created a programming language pLam — interpreter for pure Lambda calculus, enabling interactive mode, as well as writting programs, saving them as text files with .plam extension and running them later on. Throughout this paper, in each chapter we try to give relevant code examples written in pLam.

• Ključne riječi: lambda-račun; \(\lambda\)-račun; λ-račun; numerali; Churchovi numerali; pLam; interpreter
• Ključne riječi (engleski): lambda-calculus; \(\lambda\)-calculus; λ-calculus; numerals; Church numerals; pLam; interpreter
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:217:929434
• Studijski program: Naziv: Računarstvo i matematika; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: magistar/magistra računarstva i matematike (mag. inf. et math.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2019-06-04 12:22:08