Interpreter za parcijalno rekurzivne funkcije

diplomski rad

• Naslov (engleski): Interpreter for partially recursive functions
• Autor: Marko Eterović
• Mentor: Vedran Čačić (mentor)
• Član povjerenstva: Vedran Čačić (predsjednik povjerenstva)
• Član povjerenstva: Ozren Perše (član povjerenstva)
• Član povjerenstva: Miljenko Marušić (član povjerenstva)
• Član povjerenstva: Matej Mihelčić (č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: 2023-11-30, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: PRIRODNE ZNANOSTI; Matematika

Sažetak

U ovom radu proučavamo parcijalno rekurzivne funkcije te izrađujemo interpreter za njih. U prvom poglavlju definiramo inicijalne funkcije i tri osnovne operacije (kompoziciju, primitivnu rekurziju i minimizaciju) na funkcijama i relacijama. Dokazujemo da je skup Python-izračunljivih funkcija zatvoren na te tri operacije. Definiramo neke dodatne funkcije, operacije i logičke operatore te dokazujemo njihovu primitivnu rekurzivnost. U drugom poglavlju koristimo framework vepar kako bismo u Pythonu izradili interpreter koji podržava sve funkcije i operacije na funkcijama definirane u prvom poglavlju. Kroz poglavlje postupno dodajemo nove funkcionalnosti u interpreter i opisujemo razne mogućnosti vepra.

Sažetak (engleski)

In this paper we study partial recursive functions and develop an intepreter for them. In the first chapter we define initial functions and three primary operations (composition, primitive recursion and minimisation) on functions and relations. We prove that the set of all Python-computable functions is closed under those three operations. We define some other functions, operations and logical operators and prove they are primitive recursive (or that they preserve primitive recursivity). In the second chapter we use a framework called vepar to develop an interpreter in Python which supports all functions and operations on functions defined in the first chapter. Throughout the chapter we incrementally add new functionalities to the interpreter and describe various capabilities of vepar.

• Ključne riječi: skup Python-izračunljivih funkcija; framework vepar
• Ključne riječi (engleski): Python-computable functions; framework called vepar
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:217:641266
• Studijski program: Naziv: Računarstvo i matematika; Vrsta studija: sveučilišni; Stupanj studija: diplomski; Akademski / stručni naziv: sveučilišni magistar računarstva i matematike (univ. mag. inf. et math.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Otvoreni pristup
• Datum i vrijeme pohrane: 2024-02-12 10:52:22