Diferencia entre revisiones de «Teoría de lenguajes de programación»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 189.192.149.92 a la última edición de 200.53.122.93 |
||
Línea 1:
[[Archivo:Lambda en minúsculas.png|250px|thumb|Lambda en minúsculas]]
La '''teoría de lenguajes de programación''' (comúnmente conocida como '''PLT''') es una rama de la [[informática]] que se encarga del diseño, implementación, análisis, caracterización y clasificación de [[lenguaje de programación|lenguajes de programación]] y sus [[lenguaje de programación#Características de un lenguaje de programación|características]]. Es un campo multi-disciplinar, dependiendo tanto de (y en algunos casos afectando) [[matemáticas]], [[ingeniería del software]], [[lingüística]], e incluso [[ciencia cognitiva|ciencias cognitivas]]. 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.
| |||