Page 21 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

21

ENTREGA II

LENGUAJE REGULAR, AUTÓMATA FINITO Y ANALIZADOR LÉXICO.

Elementos básicos de los lenguajes formales y de los compiladores e intérpretes:

 Conjuntos
 Cadenas
 Operaciones y propiedades
 Lenguajes - gramáticas y autómatas
 Clasificación de los lenguajes formales – jerarquía de Chomsky
 Tipos de autómatas - Máquinas de Turing
 Compiladores e intérpretes
 Fases de la compilación vs lenguajes formales vs autómatas

El lenguaje es un medio a través del cual los seres humanos expresan ideas, pensamientos,
sentimientos, etc. Existen diferentes tipos de lenguaje: hablado, escrito, gráfico, señas, sonidos,
corporal, etc.

Todo lenguaje es de algún modo un código de signos en donde a cada uno se le asigna un
significado. Si el lenguaje expresa nuestros pensamientos es necesario entonces conocer cuáles
son las formas del pensamiento para la lógica y su tratamiento mental. Sabemos que lápiz es un
instrumento para escribir, rectángulo es una figura geométrica, correr es una acción que hacemos
usando los pies rápidamente, etc…hay conocimiento o concepto, juicio y razonamiento asociado
a un término o vocablo del lenguaje, para poder entendernos con un lenguaje en particular. Hagan
el ejercicio de ubicarse en un país en donde el lenguaje es completamente desconocido, sucede
que usted tiene un concepto para las cosas, pero el vocablo, al oído y a la vista está completamente
desasociado por desconocer el lenguaje.

En este caso emplearemos otras maneras de relacionar alguna cosa para hacerla reconocible,
entendible y familiar y que puedan entendernos o darnos a entender.

Esta forma de comunicarnos entre personas se conoce como lenguaje natural. O sea, es el lenguaje
que usamos en nuestra vida cotidiana (español, inglés, alemán, letón, cantonés, ruso, etc.)

¿Hay diferencia entre lenguaje natural y lenguaje formal?

La informática teórica incluye el campo científico de la lingüística, la teoría de los lenguajes y las
gramáticas. Avram Noam Chomsky, lingüista norteamericano introdujo la teoría de las gramáticas
transformacionales o teoría de los lenguajes formales, lo cual facilitó y formalizó las bases de los
lenguajes para la programación de computadores.

El estudio de los lenguajes se divide en:

 Gramática: que es el análisis de la estructura de las frases.

 Semántica: que es el estudio de su significado o sea, semántica es el estudio del significado
atribuible a expresiones sintácticamente bien formadas.

La gramática a su vez, también se puede dividir en: