Programazio-lengoaien teoria

Artikulu hau itzulpen automatikoaren laguntzaz sortu zen 2012an, OpenMT-2 wikiproiektuaren barnean. Artikulua hobe dezakezu, noski.

Programazio-lengoaien teoria informatikaren adar bat da, programazio-lengoaien eta beren ezaugarrien diseinuaz, inplementazioaz, analisiaz, karakterizazioaz eta sailkapenaz arduratzen dena. Diziplina anitzeko eremu bat da, matematika, softwarearen ingeniaritza, hizkuntzalaritza eta zientzia kognitiboen jakintza-arloekin zerikusia (eta, zenbaitetan, bai eragina ere) duena. Informatikaren adar ezagun eta aintzatetsia da, eta, 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 letra greko minuskula da. Erabilera hau lambda kalkulutik dator, programazio-lengoaien ikertzaileek erruz erabiltzen duten eredu konputazionaletik, alegia. Programazioaren eta programazio-lengoaien gaineko testu eta artikulu askok erabiltzen dute lambda, modu batera edo bestera. Estructura e Interpretación de Programas de Ordenador testu-liburu klasikoaren azala ilustratzen du, eta Scheme programazio-lengoaiaren sortzaile diren Gerald Jay Sussman eta Guy Steele-k idatzitako lambda artikulu delako askoren tituluetan ageri da. Programazio-lengoaien teoriari buruzko gune ezagun batek Lambda the Ultimate (funtsezko lambda) du izena, Sussman eta Steeleren ohorez.