UNIVERSIDAD AUTONOMA JUAN MISAEL SARACHO

FACULTAD DE CIENCIAS INTEGRADAS DEL GRAN CHACO

CARRERA DE INGENIERÍA INFORMÁTICA

INTRODUCCIÓN A LA
TEORÍA DE AUTÓMATAS Y
LENGUAJES FORMALES
Clase 1

Lic. Jhenny Castillo Tapia

Generalidades
 Teoría de Autómatas.
Trata del estudio de máquinas de computación
abstractas.
 Teoría de la Computación.
Trata del estudio de la computabilidad y de la
complejidad.
 Lenguajes y Gramáticas.
Trata del estudio y formalización de los lenguajes.
 Historia (I)
 En1930´s, A. Turing desarrolló una máquina abstracta
denominada Máquina de Turing para el estudio de la
computabilidad.
 En1940´s y 1950´s, se desarrollan unas máquinas
simples, en cuanto su funcionamiento, que fueron
conocidas como autómatas finitos, para modelar el
funcionamiento del cerebro.
 También en los 1950´s, N. Chomsky comienza el estudio
formal de las gramáticas (generadoras de lenguajes).
 Historia (II)
 En1969, S. Cook extiende el estudio de Turing.
Cook separa aquellos problemas que pueden ser
solucionados de aquellos que en principio pueden
ser solucionados pero que en la práctica toman
demasiados recursos.
 Autómatas finitos y ciertas clases de gramáticas
formales son usadas en el diseño y construcción de
software.
 LaMáquina de Turing ayuda a comprender qué es
lo que podemos esperar de nuestro software.
 ¿Por qué estudiar TALF?
 AutómatasFinitos son modelos útiles para muchos
elementos hardware y software:
 Software para diseñar y chequear la conducta de
circuitos digitales.
 El analizador léxico de un compilador.
 Software para escanear grandes volúmenes de texto para
encontrar patrones.
 Software para verificar sistemas que tengan un número
finito de estados, tales como protocolos de comunicación
o de intercambio seguro de información.
¿Por qué estudiar TALF?
Autómatas son esenciales para el estudio de los
límites de la computación:
¿Qué puede hacer un computador? Problema de la
decibilidad.
¿Qué puede hacer un computador eficientemente?
Problema de la tratabilidad.
¿Por qué estudiar TALF?

 Loslenguajes nos permiten

comunicarnos con la máquina, parte de
lo que puede hacer la máquina depende
del poder descriptivo del lenguaje.
 Compiladores.
 Traductores.
 Diseño de lenguajes de alto nivel.
Máquinas abstractas

Autómatas Finitos.
Autómatas a Pila.
Autómatas linealmente acotados.
Máquina de Turing.
 Definición informal de autómata
 Son sistemas que en todo momento se encuentran en
uno de un conjunto finito de estados.
 El propósito de un estado es recordar la historia del
sistema.
 Puesto que el número de estados es finito, el sistema
debe ser diseñado para recordar aquello que es
importante y olvidar lo que no.
 La ventaja de tener un número finito de estados es
que el sistema podrá ser implementado con un fijo
conjunto de recursos.
Ejemplo de AF

 Sistema: Interruptor.
 El sistema recuerda si está
conectado (ON) o desconectado
(OFF). Presión
 El usuario lo presiona. Comienzo
off on
 Si está en OFF y es presionado
pasa al estado ON. Presión
 Si está en ON y es presionado pasa
al estado OFF.
Gramáticas Formales
 Gramática regulares.
 Gramáticas independientes de contexto.
 Gramáticas sensibles al contexto.
 Gramática sin restricciones o de estructura
de frase.
Definición informal de Gramática
 Es el mecanismo empleado para establecer la estructura
de un lenguaje, es decir las sentencias que lo forman.
 Consiste de un conjunto de reglas sintácticas que
establecen la forma en la que se pueden combinar los
símbolos del alfabeto:
 ORACION es un SUJETO y un PREDICADO.
 SUJETO es una FRASE NOMINAL.
 FRASE NOMINAL es un GRUPO NOMINAL y un CALIFICATIVO que puede o no
estar.
 GRUPO NOMINAL es un ARTICULO que puede no estar y un NOMBRE.
 CALIFICATIVO es un ADJETIVO o una CONJUNCIÓN y una ORACION.
Tipos de Gramáticas
 N. Chomsky clasifica las gramáticas en cuatro tipos:
 Gramáticas sin restricciones o gramáticas de estructura de
frases (Tipo 0).
 Gramáticas sensibles al contexto (Tipo 1).
 Gramáticas independientes de contexto (Tipo 2).
 Gramáticas regulares (Tipo 3).

Tipo 0 Tipo 1 Tipo 2 Tipo 3

Tipos de Lenguajes

 Conforme a la clasificación de N. Chomsky, los lenguajes

se clasifican en cuatro tipos:
 Lenguajes sin restricciones (Tipo 0).
 Lenguajes sensibles (o dependientes) al contexto (Tipo 1).
 Lenguajes independientes de contexto (Tipo 2).
 Lenguajes regulares (Tipo 3).

Tipo 0 Tipo 1 Tipo 2 Tipo 3

Teoría de Autómatas - Lenguajes Formales
(Máquinas abstractas - Gramáticas Formales)

equivale
Gramática Máquina

describe reconoce
genera genera

Lenguajes
Teoría de Autómatas - Lenguajes Formales
(Máquinas abstractas - Gramáticas Formales)
GRACIAS