Lenguajes Formal

esLENGUAJES FORMALES SINTAXIS - SEMANTICA
Ing. Julio C. Acosta

Conceptos y Paradigmas de Lenguajes (UNaM)

1

Comunicación
MENSAJE codificación decodificación RUIDO EMISOR idea o asunto
Conceptos y Paradigmas de Lenguajes (UNaM) 2

RECEPTOR

LENGUAJES

Lenguaje es vehículo de comunicación entre
personas - personas personas – máquinas máquinas - personas personas – animales ??Conceptos y Paradigmas de Lenguajes (UNaM) 3

LENGUAJES

• Lenguaje Vulgar
• Lenguaje de Ciencia • Lenguaje Formal

Conceptos y Paradigmas de Lenguajes (UNaM)

4

Sintaxis: Conjunto de reglas para la correcta escritura. Semántica: Conjunto de reglas que a través de una frase sintácticamente correcta definen un significado correcto para las oraciones. (interpretación)
Los lenguajesque usa la ciencia se llaman LENGUAJES FORMALES. (su semántica queda totalmente definida antes de introducir su uso).
Conceptos y Paradigmas de Lenguajes (UNaM) 5

Importancia del Estudio de Lenguajes Formales en Computación Toda la computación trata con lenguajes formales (entre ellos los lenguajes de programación). La construcción de los lenguajes de programas son lenguajes formales.

Todoslos resultados se generan a partir de lenguajes formales.
En computación, diferenciamos al menos tres niveles: • Usuarios de PC - Técnicos que hacen mantenimiento. • Programadores - (Distintos niveles). • Diseñadores de Lenguajes de programación e investigadores de nuevas técnicas.
Conceptos y Paradigmas de Lenguajes (UNaM) 6

• Denotemos con A = { a, b, c, d, . . . . . . . x, y, z, á, é, í,ó, ú } las letras minúsculas del alfabeto español y las cinco vocales con acento ortográfico En este conjunto A una palabra cualquiera, (con o sin sentido), formada con las letras del alfabeto español será una n-ada ordenada de letras del alfabeto. Se nomina frecuentemente esta nada ordenada con el término cadenas o sucesiones. Así: el quíntuple (o, r, d, e, n) -en rigor debiera escribirse: ( ( ((o, r), d), e), n) - corresponde a la palabra orden.

Podemos usar la notación An ó { a, b, c, d, . . . . . . . x, y, z, á, é, í, ó, ú }n para denotar el conjunto de todas las sucesiones de n letras.
A* puede ser usada para denotar el conjunto de todas las sucesiones de a una, dos, tres . cuatro. . . . m letras. con m n ó m = n Así por ejemplo: el conjunto de todos los nombres de una guía deteléfono es un subconjunto de A* (en él hay cadenas de a una, dos, tres . . . . . m letras).
Conceptos y Paradigmas de Lenguajes (UNaM) 7

Si

B = { a, b, c, . . . . x, y, z, A, B, C, . . . . X, Y, Z, ., ;, :, ,, !, ?, ¿, _ }

que es obvio se trata de todas las letras mayúsculas, minúsculas, letras acentuadas, signos de puntuación y el guión (que representa los espacios en blanco). A partirdel conjunto B*, podemos construir frases como:
Quiero_estudiar_sistemas ¿_Dónde_conseguiré_el_apunte_ ? que son cadenas del conjunto B*

De manera análoga, una expresión en cualquier lenguaje (L) (de programación), es una serie de cadenas o sucesiones de C* con L C*, donde L es un lenguaje definido con símbolos de C, donde C puede ser: C = { a, b, c, . . . . x, y, z, A, B, C, . . . . X, Y, Z, 0,1, . . . .8, 9, +, -, x, /, ., ;, :, ,, !, ?, ¿, _ } Ahora sí podemos aproximarnos al concepto de lenguaje en sentido formal, al decir que: dado un alfabeto A el lenguaje L es un subconjunto del conjunto A* (conjunto de todas las cadenas posibles del alfabeto A). Así por ejemplo: si A = { a, b, c } podemos definir lenguajes: L1 = { a, a a, a b, a c, a b c, c a b } L2 = { a b a, a a b a a } L3 = {_ } L4 ={ai c bi / i 1 }
Conceptos y Paradigmas de Lenguajes (UNaM) 8

Lenguajes Formales
Un lenguaje formal está conformado por cadenas de símbolos y cada cadena debe tener un significado “preciso e inequívoco”.
Un lenguaje posee: Vocabulario y Gramática Vocabulario son los “bloques o signos” a partir de los cuales se construyen las cadenas del lenguaje
Conceptos y Paradigmas de...