Siguiente: Programas-while Un nivel arriba: Conceptos básicos Anterior: Enumeración de Cantor

Lenguajes formales de programación

Todo lenguaje de programación consta de una sintaxis bien determinada que permite identificar a los programas bien formados y de una semántica que permite interpretar procedimentalmente a los programas. Toda sintaxis se establece sobre un alfabeto, es decir, un conjunto finito de símbolos, mediante reglas gramaticales o producciones para generar diversas clases de palabras sobre el alfabeto.