Programazio-lengoaien teoria: berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
No edit summary
No edit summary
4. lerroa:
''' Programazio-lengoaien teoria'''[[Informatika| informatikaren]] adar bat da, [[Programazio-lengoaia| programazio-lengoaien]] eta beren [[:es:lenguaje de programación#Características de un lenguaje de programación| ezaugarrien]] diseinuaz, inplementazioaz, analisiaz, karakterizazioaz eta sailkapenaz arduratzen dena. Diziplina anitzeko eremu bat da, [[matematika]], [[software-ingeniaritza| softwarearen ingeniaritza]], [[hizkuntzalaritza]] eta [[:es:ciencia cognitiva| zientzia kognitiboen]] jakintza-arloekin zerikusia (eta, zenbaitetan, bai eragina ere) duena. Informatikaren adar ezagun eta aintzatetsia da, eta, [[2006| 2006ko]] dataz, ikerketagai garrantzitsu bat, emaitzak PLTari buruzko aldizkari berezitu nahiz informatika eta ingeniaritzako argitalpenetan, oro har, plazaratzen dituena. Unibertsitate mailako informatikako ikasketa-programa guztietan eskatzen da, gaur egun, arlo hau jorratzea.
 
Programazio-lengoaien teoriaren ikur bat, ofiziala ez bada ere, [[Lambda| lambda]] letra [[Alfabeto greko| greko]] minuskula da. Erabilera hau [[:es:cálculo lambda| lambda kalkulutik]] dator, programazio-lengoaien ikertzaileek erruz erabiltzen duten [[:es:modelo computacional| eredu konputazionaletik]], alegia. Programazioaren eta programazio-lengoaien gaineko testu eta artikulu askok erabiltzen dute lambda, modu batera edo bestera. [[:es:Estructura e Interpretación de Programas de Ordenador| "''Estructura e Interpretación de Programas de Ordenador"'']] testu-liburu klasikoaren azala ilustratzen du, eta [[:es:Scheme| Scheme programazio-lengoaiaren]] sortzaile diren [[:es:Gerald Jay Sussman| Gerald Jay Sussman]] eta [[:es:Guy Steele| Guy Steele-k]] idatzitako [[:es:Artículos Lambda| ''lambda'' artikulu]] delako askoren tituluetan ageri da. Programazio-lengoaien teoriari buruzko gune ezagun batek [[:es:Lambda the Ultimate]] (''funtsezko lambda'') du izena, Sussman eta Steele-ren ohorez.
 
== Historia ==