TEMA 1: INTRODUCCIN

Departamento de Sistemas Informticos

Universidad de Castilla-la Mancha

TAL F. Tema 1. Introduccin

TEMA 1: INTRODUCCIN
INDICE
Introduccin Histrica
Mquinas Abstractas y Lenguajes Formales
Aplicaciones

TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
La materia Teora de Autmatas y Lenguajes
Formales se encuadra dentro de la Informtica
Terica:

Teora de Autmatas y Lenguajes Formales.

Teora de la Computabilidad.
Teora de la Complejidad.
Teora de la Codificacin.
Teora de la Informacin.
Criptografa.
Teora de Algoritmos y Estructuras de Datos.
etc.
TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Esta asignatura gira en torno a tres conceptos claves:
Lenguaje.
Gramtica.
Autmatas (mquinas abstractas).
Si bien estos conceptos estn interrelacionados,
inicialmente tienen orgenes distintos. As, la TALF
puede calificarse como una materia multidisciplinar
que se ha nutrido bsicamente de:
Matemticas.
Ingeniera Elctrica.
Lingstica.
TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Matemticas
Entender la computacin como el acto de calcular.
Resolucin de un problema concreto.
Al-Khorezmi: matemtico rabe de la edad media:
difundi por Europa nuestro sistema de
representacin de nmeros a travs de un tratado
de aritmtica
reglas de clculo para realizar operaciones
aritmticas bajo el nombre de algoritmus.

TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Matemticas (2)
Algoritmo: cualquier sistema de reglas o instrucciones
para resolver por medio de cmputos un problema
perteneciente a una clase bien definida de problemas
similares.
Teora de la Computabilidad:
dcada de los 30
Kurt Gdel, Alonzo Church, Post, Alan Turing,
Kleene
races en la Lgica Matemtica
influencia en las Ciencias de la Computacin
TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Matemticas (3)
Existir un Algoritmo Universal capaz de resolver cualquier
problema matemtico, filosfico, o en general de carcter
intelectual?.
El Entscheidungsproblem o problema de la decisin puede
considerarse como una versin precisa del algoritmo universal,
basado en los conceptos de la lgica matemtica (David Hilbert,
1928).
son las Matemticas completas? puede probarse cada
aseveracin matemtica?
son las Matemticas consistentes? puede probarse
simultneamente cada aseveracin y su negacin?
son las Matemticas decidibles? existe un mtodo
definido que se pueda aplicar a cualquier aseveracin y
que determine si es cierta o falsa?

TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Matemticas (4)
Kurt Gdel, 1931, presenta su famoso teorema de la incompletitud
de Gdel, el cual viene a decir que: toda formulacin axiomtica
consistente en la teora de nmeros contiene proposiciones
indecidibles".

Esto acaba con las esperanzas de los matemticos de crear

un sistema completo y consistente donde fuera posible
demostrar o negar cualquier teorema.

TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Matemticas (5)
Alan Turing, 1937, public un trabajo sobre nmeros calculables que
puede considerarse en parte como el origen de la Informtica Terica.
En este trabajo, Turing:
Introdujo la mquina de Turing (MT) como un modelo matemtico abstracto
que formalizaba el concepto de algoritmo.
Una funcin era computable si se poda computar con una MT.
Una funcin era no computable (o indecidible) si no se poda computar con
una MT. La existencia de estas funciones o problemas no computables
apoyaban el teorema de Gdel.
Introdujo la mquina de Turing Universal (MTU), que tomaba una mquina
de Turing y datos como entrada, y produca como salida el resultado de
ejecutar dicha mquina sobre dichos datos.
MTU Computador
Por tanto, la Turing-computabilidad (operacional) puede considerarse como
la base de la programacin imperativa.
TAL F. Tema 1. Introduccin

INTRODUCCIN HISTRICA
Matemticas (6)
Kleene, 1938, presenta la teora de las funciones recursivas, que basan su mecanismo de cmputo
en la composicin de funciones y no en la transicin
entre estados (programacin funcional).

TAL F. Tema 1. Introduccin

10

INTRODUCCIN HISTRICA
Ingeniera Elctrica
Shannon, 1938, establece las bases para la
aplicacin de la lgica matemtica a los circuitos
combinatorios y secuenciales.
Esto dio lugar a la formalizacin de la teora de
mquinas secuenciales y autmatas finitos.
Autmata: sistema capaz de trasmitir informacin.
Acepta una entrada, cambia de estado, produce una
salida
Autmatas aceptadores: reciben, procesan, salida binaria
Autmatas generadores: no reciben, procesan, generan
informacin
Autmatas transductores: reciben, procesan, generan
informacin
TAL F. Tema 1. Introduccin

11

INTRODUCCIN HISTRICA
Lingstica (1)
Noam Chomsky, 1950, presenta una teora de las
gramticas transformacionales, que sienta las bases
de la lingstica matemtica y, por tanto, facilita la
formalizacin y el estudio de los lenguajes de
ordenador.

TAL F. Tema 1. Introduccin

12

INTRODUCCIN HISTRICA
Lingstica (2)
Chomsky clasifica las gramticas en 4 tipos (0,1,2 y
3) cada uno de ellos ms restrictivo que el anterior,
dando lugar a lo que se conoce como jerarqua de
Chomsky.

TAL F. Tema 1. Introduccin

13

MQUINAS ABSTRACTAS Y
LENGUAJES FORMALES
Si bien las mquinas abstractas introducidas hasta
entonces tenan como objetivo el clculo de funciones, con
el tiempo los investigadores se encargaron de estudiar la
potencia de las mquinas como reconocedoras de
lenguajes.
El propio Chomsky estableci en 1959 la equivalencia entre las
gramticas de tipo 0 y las Mquinas de Turing.
En 1958 Chomsky y Miller notaron que las gramticas de tipo 3
son equivalentes a los autmatas finitos introducidos por
Kleene en 1951.
Chomsky y Schutzenberger en 1963 demostraron que las
gramticas de tipo 2 equivalen a los autmatas con pila.
Por ltimo, en 1964 Kuroda descubre que los lenguajes de tipo
1 son reconocidos por los autmatas linealmente acotados
(mquinas de Turing no deterministas).
TAL F. Tema 1. Introduccin

14

MQUINAS ABSTRACTAS Y
LENGUAJES FORMALES
LENGUAJES TIPO 0

MQUINAS DE TURING

LENGUAJES TIPO 1

AUTMATAS LINEALMENTE
ACOTADOS

LENGUAJES TIPO 2

AUTMATAS CON PILA

LENGUAJES TIPO 3

AUTMATAS FINITOS

TAL F. Tema 1. Introduccin

15

APLICACIONES
Por ltimo, decir que la TALF ha encontrado aplicacin en
campos muy diversos que tienen en comn la necesidad de
manejar conceptos como control, acciones a realizar, memoria,
y en los que se verifica que los objetos a recordar o controlar
son smbolos, palabras o frases construidas sobre algn
alfabeto.
Algunos de los principales campos de aplicacin son:
Teora de la comunicacin.
Teora de control.
Lgica de los circuitos secuenciales.
Redes de conmutacin y codificacin.
Reconocimiento de patrones.
Modelado de redes neuronales.
Estructura y anlisis de los lenguajes de programacin.
Procesadores de lenguajes.
Traduccin automtica de lenguajes.
TAL F. Tema 1. Introduccin

16