LENGUAJES FORMALES Y

DE PROGRAMACIÓN
Ing. Otto Rodríguez
Universidad de San Carlos
Facultad de Ingeniería
Ingeniería en Ciencias y Sistemas
LENGUAJES FORMALES

LENGUAJE LENGUAJE DE
NATURAL PROGRMACIÓN
LENGUAJE
FORMAL

Lenguaje Natural: Idioma hablado o escrito por humanos

para propósitos generales de comunicación.

Lenguaje Formal: Es aquel que el hombre ha desarrollado

para expresar las situaciones que se dan en específico
en cada área del conocimiento científico.

Lenguaje de Programación: Es un lenguaje formal que

proporciona la capacidad de escribir una serie de
instrucciones o secuencias de órdenes con el fin de
controlar el comportamiento físico o lógico de una
computadora.
 LENGUAJES FORMALES

INICIO Símbolos: son Letras, dígitos, caracteres del lenguaje.

Alfabeto: Conjuntos de símbolos que pertenecen a un
ALTURA  105; lenguaje.
BASE  5; Palabra: Secuencia finita de símbolos del alfabeto.
AREA  BASE*ALTURA;
Patrón: Es una regla o descripción que define la
FIN. secuencia de símbolos de una palabra.

Token: es un par que consiste en un nombre de token y

un valor de atributo opcional. El nombre del token es un
símbolo definid0 por un patrón.

Lexema: es una secuencia de símbolos que coincide con

el patrón de un token
LENGUAJES FORMALES
Letra={a, b ,c …z, A, B, C, …Z}
Digito={0,1,2,3,4,5,6,7,8,9}
INICIO
ALTURA := 105; Identificador (id): Letra seguido de Letras o dígitos
BASE := 5 ; cero mas veces.
- Variables, Constantes, Palabras reservadas.
AREA := BASE*ALTURA; Número (num): Digito seguido de cero o mas dígitos.
FIN. Delimitador: Define el inicio y el final de un token.

Lexema No. Token Token

INICIO 1 Palabra reservada
ALTURA 2 VARIABLE
:= 3 Asignación
105 4 Número
; 5 Punto y Coma
* 6 Asterisco (multiplicación)
 GENERACIONES DE LENGUAJES DE
PROGRAMACIÓN
LENGUAJES DE QUINTA GENERACIÓN
HERRAMIENTAS 5GL

Alto Nivel LENGUAJES DE CUARTA

GENERACIÓN 4GL

LENGUAJES DE TERCERA
GENERACIÓN 3GL
COMPILACIÓN
Bajo Nivel

LENGUAJE ENSABLADOR 2da

gen
ENSAMBLAR

LENGUAJE DE MAQUINA 1era

gen
¿ Qué es un compilador ?
• Programa que traduce de un lenguaje a otro lenguaje.
• Programa que traduce de un lenguaje de alto nivel a un lenguaje
de bajo nivel

Análisis Léxico
Estructuras
de datos.
Análisis Sintáctico
Tabla de Análisis
simbolos Semántico
Generación de
Código
PARADIGMAS DE LENGUAJES
PROCEDIMIENTO
O BLOQUES
BASADO EN
OBJETOS
IMPERATIVOS OBJETOS

ORIENTADO A
OBJETOS
PROCESAMIENTO
EN PARALELO

Paradigmas
LOGICO

FUNCIONAL

DECLARTIVOS

POR EVENTOS

BASE DE DATOS