Fundamentos Esenciales de la Teoría de Lenguajes de Programación y Algoritmia

Teoría de Lenguajes de Programación

La teoría de lenguajes de programación (PLT, por sus siglas en inglés) es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de los lenguajes de programación y sus características. Es un campo multidisciplinar que depende tanto de las matemáticas, la ingeniería del software y la lingüística, como de las ciencias cognitivas, llegando en algunos casos a afectar el desarrollo de estas áreas.

Es una rama bien reconocida de la informática y, a fecha de 2006, se mantiene como un área activa de investigación con resultados publicados en un gran número de revistas dedicadas a la PLT, así como en publicaciones generales de informática e ingeniería. La mayoría de los programas académicos para estudiantes universitarios de informática requieren trabajar profundamente en este tema.

Tipos y Paradigmas de Programación

Dentro del desarrollo de software, existen diversos enfoques o paradigmas que definen la forma en que se estructuran las instrucciones:

• Programación estructurada (PE)
• Programación modular
• Programación orientada a objetos (POO)
• Programación concurrente
• Programación funcional
• Programación lógica

Fundamentos de Algoritmia

Algoritmo

Un algoritmo es un conjunto preescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permite realizar una actividad mediante pasos sucesivos que no generen dudas a quien deba realizar dicha actividad.

Diagrama de Flujo

Un diagrama de flujo es una representación gráfica de un algoritmo o proceso. Se utiliza en diversas disciplinas como la programación, la economía, los procesos industriales y la psicología cognitiva. Estos diagramas utilizan símbolos con significados bien definidos que representan los pasos del algoritmo y muestran el flujo de ejecución mediante flechas que conectan los puntos de inicio y de término.

Variables de Control y Lógica

Contador

Un contador es una variable cuyo valor se incrementa o decrementa en una cantidad constante cada vez que se produce un determinado suceso o acción. Los contadores se utilizan con la finalidad de contar sucesos o acciones internas de un bucle (ciclo); deben realizar una operación de inicialización y, posteriormente, las sucesivas de incremento o decremento del mismo. La inicialización consiste en asignarle al contador un valor inicial, situándose generalmente antes y fuera del bucle.

Acumulador o Totalizador

Un acumulador es una variable que suma sobre sí misma un conjunto de valores para, de esta manera, obtener la suma de todos ellos en una sola variable. La diferencia fundamental entre un contador y un acumulador es que, mientras el primero va aumentando en una cantidad fija (normalmente de uno en uno), el acumulador va aumentando en una cantidad variable según los datos procesados.