Λειτουργική σημασιολογία: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Αφαιρώ 9 σύνδεσμους interwiki, που τώρα παρέχονται από τα Wikidata στο d:Q1930895 |
μ διόρθωση συνδέσμου προς τον Τζον Μακάρθι |
||
Γραμμή 16:
</blockquote>
Μιά από τις πρώτες τυπικές χρήσεις της λειτουργικής σημασιολογίας ήταν η χρήση του [[λ-λογισμός|λ-λογισμού]] για τον ορισμό της σημασιολογίας της [[LISP]] από τον [[Τζον Μακάρθι]]<ref>{{Cite web| title=Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I| author=John McCarthy | url=http://www-formal.stanford.edu/jmc/recursive.html | accessdate=2006-10-13}}
Οι αφηρημένες μηχανές όπως η μηχανή SECD, έχουν επίσης στενή σχέση με τη λειτουργική σημασιολογία.
| |||