Programazio-lengoaien teoria: berrikuspenen arteko aldeak

Ezabatutako edukia Gehitutako edukia
Orrialde berria: {{OpenMT-2}} 250px|thumb| Lambda minuskula. ''' Programazio-lengoaien teoria''' informatikaren adar bat da, [[Programazio...
 
No edit summary
2. lerroa:
[[Archivo:Lambda en minúsculas.png|250px|thumb| Lambda minuskula.]]
 
''' 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. EsDiziplina unanitzeko campoeremu multi-disciplinarbat da, dependiendo tanto de (y en algunos casos afectando) [[matemáticasmatematika]], [[ingenieríasoftware-ingeniaritza| delsoftwarearen softwareingeniaritza]], [[lingüísticahizkuntzalaritza]], e inclusoeta [[:es:ciencia cognitiva|ciencias cognitivaszientzia kognitiboen]] jakintza-arloekin zerikusia (eta, zenbaitetan, bai eragina ere) duena. Es una rama bien reconocida de la informática, y a fecha de [[2006]], un área activa de investigación, con resultados publicados en un gran número de revistas dedicadas a la PLT, así como en general en publicaciones de informática e ingeniería.La mayoría de los programas de los estudiantes universitarios de informática requieren trabajar en este tema.
 
Un símbolo no oficial de la teoría de lenguajes de programación es la letra [[Alfabeto griego|griega]] [[lambda]] en minúsculas. Este uso deriva del [[cálculo lambda]], un [[modelo computacional]] ampliamente usado por investigadores de lenguajes de programación. Muchos textos y artículos sobre programación y lenguajes de programación utilizan lambda de una u otra manera. Ilustra la portada del texto clásico ''[[Estructura e Interpretación de Programas de Ordenador]]'', y el título de muchos de los llamados [[Artículos Lambda]], escritos por [[Gerald Jay Sussman]] y [[Guy Steele]], creadores del [[Scheme|lenguaje de programación Scheme]]. Un sitio muy conocido sobre teoría de lenguajes de programación se llama [[Lambda the Ultimate]] (''Lambda el primordial''), en honor al trabajo de Sussman y Steele.