Informtica Terica II.

Presentacin
Departamento de Informtica
U. Carlos III de Madrid
Profesores:
Teora: Ins M. Galvn, 2.2.B25, igalvan@inf.uc3m.es
Prctica: Sandra Garca
Luis Enamorado
8Presentar los principios de la computacin terica
8Estudiar y analizar mtodos avanzados de computacin
8Utilizar de forma prctica alguno de los formalismos
anteriores para la resolucin de problemas concretos
Departamento de Informtica
U. Carlos III de Madrid
Objetivos
Informtica Terica II. Presentacin
Departamento de Informtica
U. Carlos III de Madrid
Tema 1. Introduccin
Tema 2. Mquinas de Turing
Tema 3. Clulas de McCulloch-Pitts
Tema 4. Introduccin a las Redes de neuronas artificiales
Tema 5. Autmatas probabilsticos
Tema 6. Autmatas Celulares
Temario
Informtica Terica II. Presentacin
M. Alfonseca, J. Sancho y M. Martnez. Teora de Lenguajes, Gramticas y
Autmatas, R.A.E.C., Madrid, (1998)
E. Alfonseca Cubero, M.Alfonseca Cubero, R. Moriyn Salomn Teora de
autmatas y lenguajes formales McGraw-Hill, 2007
J.G. Brookshear. Teora de la Computacin. (Lenguajes Formales, Autmatas y
Complejidad). Addison-Wesley Iberoamericana, (1993)
P. Isasi, P. Martnez y D. Borrajo. Lenguajes, Gramticas y Autmatas, un
Enfoque Prctico. Addison-Wesley, (1997)
Michael Sipser, "Introduction to the Theory of Computation" (Pws Series in
Computer Science), (1997)
D. Kelley. Teora de Autmatas, Lenguajes y Formales. Prentice Hall (1995)
Departamento de Informtica
U. Carlos III de Madrid
Bibliografa
Temas 1, 2, 3, 5
Informtica Terica II. Presentacin
Departamento de Informtica
U. Carlos III de Madrid
Bibliografa
Tema 4
Tema 6
S. Wolfram. Cellular Automata and Complexity. Addison-Wesley, (1996)
P. Isasi, I.M. Galvn. Redes de Neuronas Artificiales. Un enfoque prctico.
Pearson 2004
J.R. Hilera y V.J. Martnez. Redes Neuronales Artificiales. Ra-Ma, (1995)
R Beale. Neural Computation. An introduction.Adam Hilger, (1991)
S. Haykin. Neural Networks. A comprehensive foundation. Prentice Hall (1994)
Informtica Terica II. Presentacin
Pginas web
http://eva.evannai.inf.uc3m.es/?q=nod
e/37
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Presentacin
Departamento de Informtica
U. Carlos III de Madrid
Prctica 1
Diseo y construccin de un modelo computacional basado
en la mquina de Turing
Prctica 2
Resolucin de un problema mediante el uso de un modelo
de computacin (Redes de neuronas artificiales)
Prcticas: 2 horas semanales
Teora: 2 horas semanales
Informtica Terica II. Presentacin
Normativa:
- Nota final: Examen (70%) y prcticas (30%)
- Nota mnima de los exmenes (Febrero y Septiembre) para hacer media
con las prcticas: 4.5
- Nota mnima de las prcticas (Febrero y Septiembre) para hacer media con
el examen: 5,0 en cada prctica
- Nota mnima para guardar nota del examen de Febrero para Septiembre:
4.5
- Nota mnima para guardar nota de las prcticas de Febrero para
Septiembre: 5,0
- Slo se guardan las notas hasta Septiembre
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Presentacin
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Introduccin
CIENCIAS DE LA COMPUTACIN
INFORMTICA
TERICA
COMPUTABILIDAD (matemticas)
Hilbert, 1928
Gdel, Kleene, Post y Turing,

1930
Church, 1936
Rabin, 1960
Cobhan, 1964
Cook, 1972
Aho, Hopcroft, Ullman, 1974
AUTMATAS (ingeniera)
Leonardo Torres, 1915
Shannon, 1938
Mc Culloch-Pitts, 1943
Moore, 1956
LENGUAJES y GRAMTICAS (lingstica)
Panini, entre el 400 y 200 AC
Chomsky, 1967
Backus,

1960
Kleene, 1951
Hirst, Tennant y Carbonell, 1981
La Informtica Terica surge de la confluencia de tres campos
cuerpo de conocimiento cuyo principal objetivo es
proporcionar respuesta a una serie de preguntas,
que se podran concretar en:
Qu problemas pueden resolverse
mediante una computadora?
Cmo puede construirse un programa
para resolver un problema?
Resuelve el programa realmente el
problema?
Cunto tiempo y espacio consume dicho
programa/problema?
CC de la
Computacin
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Introduccin
Qu problemas pueden resolverse mediante procedimientos
automticos?.

es necesario concretar el concepto de funcin calculable: funcin cuyos

valores pueden ser calculados de forma automtica mediante una sucesin
bien determinada de pasos (un algoritmo) y construir modelos tericos (de
computacin) para ello.
Entscheidungsproblem: Existe algn procedimiento general que pueda
resolver todos los problemas de las matemtica?
Surgieron modelos abstractos de computacin en los aos 30, antes de
que existieran las computadoras, por los lgicos Church, Gdel, Kleene, Post
y Turing.
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Introduccin
A. Turing introdujo la Mquina de Turing, una entidad matemtica abstracta que
formaliz por primer vez el concepto de algoritmo, y result ser precursora de
mquinas de calcular automticas.
Turing seal que haba tenido xito en caracterizar de un modo matemticamente
preciso, por medio de sus mquinas, la clase de las funciones calculables
mediante un algoritmo, lo que se conoce hoy como Tesis de Turing.
Turing utiliz su concepto de mquina para demostrar que existen funciones que
no son calculables por un mtodo definido y, en particular, que el
Entscheidungsproblem era uno de esos problemas.
La mquina de Turing es un modelo ideal de mquina abstracta mediante la cual
se puede implantar cualquier algoritmo. Aunque se trate de un modelo abstracto, y
no un modelo fsico, el funcionamiento de los ordenadores actuales se basa en
dicho concepto
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Introduccin
G. Regulares
G3
G. Indep Contexto
G2
G. Dep Contexto
G1
G. sin restricciones
G0
Lenguajes
Regulares
Lenguajes Indep.
Contexto
Lenguajes Dep. Contexto
Lenguajes sin
restricciones
Autmatas Finitos
Autmatas Pila
Autmatas Linealmente
Acotados
Mquinas de Turing
Contribucin ms importante: Jerarqua de Chomsky
En esta asignatura
se estudiarn la MT
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica II. Introduccin
En paralelo y en conjuncin se desarroll la Teora de Autmatas y lenguajes
Otros modelos de computacin:
Autmatas que, por diversas causas, no encuentran su lugar en la jerarqua
de Chomsky. Quiz la causa comn a todos ellos sea que su principal
aplicacin no se relaciona con el reconocimiento de lenguajes. A pesar de
ello, todos ellos se pueden traducir a los Autmatas Finitos equivalentes,
salvo las redes neuronales. Se trata de
Clulas de McCulloch-Pitts
Autmatas Probabilsticos
Redes de Neuronas
Autmatas Celulares
Complejidad computacional
Se puede medir en funcin de dos parmetros:
el tiempo que requiere para llevarse a cabo y
el espacio de almacenamiento que requiere.
Departamento de Informtica
U. Carlos III de Madrid
Informtica Terica //. Introduccin