Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14965
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ρογαρης Ηλιας | |
dc.date.accessioned | 2018-07-23T15:11:10Z | - |
dc.date.available | 2018-07-23T15:11:10Z | - |
dc.date.issued | 2007-12-3 | |
dc.date.submitted | 2007-12-3 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/14965 | - |
dc.description.abstract | Σκοπός αυτής της διπλωματικής εργασίας είναι η μελέτη του μεγάλου προβλήματος της "ρητής αντικατάστασης" (Explicit Substitution) στον λάμδα λογισμό. Η αντικατάσταση μιας μεταβλητής από μια άλλη, που τη συναντάμε στη β-αναγωγή , δεν είναι μια απλή διαδικασία. Από πίσω της κρύβονται τεράστιες υπολογιστικές διεργασίες οι οποίες προσδιορίζονται απ’ τους περιορισμούς που θέτει η ίδια η αντικατάσταση. Στον λ-λογισμό αυτό το πρόβλημα δεν ενδιαφέρει. Ο λ-λογισμός είναι ένα μαθηματικό μοντέλο που περιγράφει κάθε τι που είναι υπολογίσιμο και όχι ένα μοντέλο για μια πρακτική υλοποίηση ενός αλγορίθμου. Παρ’ όλα αυτά οι συναρτησιακές γλώσσες, που ολοένα και περισσότερη απήχηση φαίνεται να έχουν, στηρίζονται σ’ αυτόν. Άρα λοιπόν είναι χρήσιμο να υπάρχει ένα αποδοτικό μοντέλο που να προκύπτει απ’ τον λάμδα λογισμό και το οποίο να περιγράφει ακριβώς ποιο είναι το αποτέλεσμα της β-αναγωγής με όσο το δυνατόν πιο κομψό και αποδοτικό τρόπο. | |
dc.language | Greek | |
dc.subject | ρητή αντικατάσταση | |
dc.subject | λ-λογισμός με δείκτες de bruijn | |
dc.subject | λs-λογισμός | |
dc.subject | λσ-λογίσμός | |
dc.subject | λυ-λογισμός | |
dc.title | Η Ρητη Αντικατασταση Στον Λ-λογισμο | |
dc.type | Diploma Thesis | |
dc.description.pages | 69 | |
dc.contributor.supervisor | Κολέτσος Γεώργιος | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
dc.description.notes | το πέρασμα από τον λ-λογισμό στο λs-λογισμό | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2007-0209.pdf | 797.57 kB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.