Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more ➡
Download
Standard view
Full view
of .
Add note
Save to My Library
Sync to mobile
Look up keyword or section
Like this
57Activity
×

Table Of Contents

0 of .
Results for:
No results containing your search query
P. 1
TEORIA DE AUTOMATAS Y LENGUAJES FORMALES By Santirub

TEORIA DE AUTOMATAS Y LENGUAJES FORMALES By Santirub

Ratings: (0)|Views: 19,393|Likes:

More info:

Published by: Luis Roberto Meneses on Apr 12, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See More
See less

06/19/2013

pdf

text

original

 
Isabel Navarrete S´anchezMar´ıa Antonia C´ardenas ViedmaDaniel S´anchez AlvarezJuan Antonio Bot´ıa BlayaRoque Mar´ın MoralesRodrigo Mart´ınez B´ejarDepartamento de Ingenier´ıa de la Informaci´ony las ComunicacionesUniversidad de Murcia
TEOR´IA DE AUT´OMATAS
Y
LENGUAJES FORMALES
 
Introducci´on
Aunque no debemos hacer una distinci´on tajante entre los aspectos pr´acticos y te´oricos de la Inform´atica, es cierto que existen materias que tienen un alto contenido formal, con desarrollosde tipo matem´atico, al contrario que otros temas m´as cercanos a la resoluci´on de problemas de tipo pr´actico. La asignatura de
Teor´ıa de Aut´ omatas y Lenguajes Formales
sin duda trata conlas materias del primer tipo y los contenidos que se imparten constituyen el eje fundamental dediversas ´areas de conocimiento encuadradas dentro de lo que podr´ıamos denominar
Inform´aticaTorica
. A veces estas disciplinas resultan para el alumno materias “´aridas” y distanciadas delo que ellos entienden que deber´ıan estudiar en una carrera de Ingenier´ıa Inform´atica. Pero laInform´atica, como cualquier otra ciencia o ingenier´ıa, tiene unos fundamentos te´oricos sobrelos que apoyarse y que cualquier ingeniero en Inform´atica debe conocer. As´ı lo entienden di-versos organismos internacionales como
ACM 
e
IEEE 
que recomiendan al menos un curso deAut´omatas y Lenguajes Formales en los curricula de las carreras relacionadas con la Inform´ati-ca. Una motivaci´on para el estudio de estas materias formales la expuso
Millner
en un discursoque dio en 1993 al recoger el prestigioso
premio Turing 
que se otorga a distinguidos cient´ıficosque trabajan en el ´area de las Ciencias de la Computaci´on:“Estas [las aplicaciones] son altamente necesarias, pero no queremos que esto ocurraen detrimento del trabajo te´orico...Las Ciencias de la Computaci´on son tan ampliasque si no tienen una teor´ıa asica, estaremos perdidos. Tantas cosas est´an avanzan-do...¿C´omo podr´ıa ocurrir esto sin una teor´ıa? Esta tiene que ir cogida de la manode la pr´actica.”
1. Evolucon hist´orica de la Teor´ıa de la Computaci´on
La
Teor´ıa de la Computaci´on
trata con
modelos de c´ alculo abstractos
que describen con distintosgrados de precisi´on las diferentes partes y tipos de computadores. Pero estos modelos no seusan para describir detalles pr´acticos del hardware de un determinado ordenador, sino que m´asbien se ocupan de cuestiones abstractas sobre la capacidad de los ordenadores, en general. As´ı,en los
curricula 
de Ciencias de la Computaci´on existen cursos separados para tratar materiascomo Arquitectura de Computadores, Teor´ıa de Circuitos, Algoritmos y Estructuras de Datos,Sistemas Operativos, etc. Todas estas ´areas tienen una componente te´orica, pero difieren delestudio de la Teor´ıa de la Computaci´on fundamentalmente en dos aspectos:Las primeras tratan con computadores que existen realmente, mientras que los modelosabstractos de c´alculo abarcan todo tipo de computadores que existen, que puedan llegara existir o simplemente que uno pueda imaginar.En Teor´ıa de la Computaci´on, a diferencia de las otras materias, lo importante no esbuscar la mejor manera de hacer las cosas (
optimalidad 
) sino estudiar qu´e puede o nopuede hacerse con un ordenador (
computabilidad 
).2
 
La historia de la Teor´ıa de la Computaci´on es bastante interesante. Se ha desarrollado graciasa confluencia, por afortunadas coincidencias, de distintos campos de conocimiento y descubri-mientos (fundamentalmente matem´aticos) realizados a principios del siglo XX. Bajo el nombre
Teor´ıa de la Computaci´on
se recogen una serie de materias que constituyen hoy en d´ıa los fun-damentos te´oricos de la Inform´atica:
Teor´ıa de Aut´ omatas
,
Teor´ıa de los Lenguajes Formales
,
Computabilidad 
y
Complejidad Algor´ıtmica 
.
Computabilidad
El primer tema que cae claramente dentro del campo de la Teor´ıa de la Computaci´on es elde
Computabilidad
. Iniciada por
odel, Church, Post, Turing y Kleene
, tiene sus ra´ıces en la
L´ ogica Matem´ atica 
. Al iniciar el siglo XX, los matem´aticos estaban a punto de efectuar grandesdescubrimientos. Los logros de los siguientes 40 a˜nos estaban destinados a sacudir las bases delas matem´aticas y tuvieron consecuencias que se extendieron al campo de las
Ciencias de la Computaci´ on 
, un por nacer.A principios de siglo XX se empez´o a fraguar un dilema.
Georg Cantor
(1845-1918), hab´ıa inven-tado por entonces la
Teor´ıa de Conjuntos
, pero al mismo tiempo descubri´o algunas paradojasinquietantes. Algunos de sus planteamientos pod´ıan ser comprensibles (como que hay “infinitos”de distinto tama˜no), pero otros no (por ejemplo, que alg´un conjunto sea mayor que el conjuntouniversal). Esto dej´o una nube de duda a los matem´aticos que ellos necesitaban disipar. El pun-to de partida de fueron las cuestiones fundamentales que
David Hilbert
(1845-1918) formul´o en1928, durante el transcurso de un congreso internacional:1. ¿Son
completas
las Matem´aticas, en el sentido de que pueda probarse o no cada aseveraci´onmatem´atica?2. ¿Son las Matem´aticas
consistentes
, en el sentido de que no pueda probarse simult´anea-mente una aseveraci´on y su negaci´on?3. ¿Son las Matem´aticas
decidibles
, en el sentido de que exista un etodo definido que sepueda aplicar a cualquier aseveraci´on matem´atica y que determine si dicha aseveraci´on es cierta o falsa?La meta de Hilbert era crear un sistema axiom´atico l´ogico-matem´atico
completo y consistente
,del cual podr´ıan deducirse todas las Matem´aticas, esto es, cualquier teorema matem´atico po-dr´ıa derivarse de los axiomas aplicando una serie finita de reglas, es decir, mediante un
procesoalgoıtmico
o
computacional 
. Su idea era encontrar un algoritmo que determinara la verdad ofalsedad de cualquier teorema en el sistema formal. A este problema le llam´o el ‘
Entscheidungs-problem 
’.Por desgracia para Hilbert, en la ecada de 1930 se produjeron una serie de investigaciones quemostraron que esto no era posible. Las primeras noticias en contra surgen en 1931 con
Kurtodel
(1906-1978) y su
Teorema de Incompletitud 
: “Todo sistema de primer orden consistenteque contenga los teoremas de la aritm´etica y cuyo conjunto de axiomas sea recursivo no escompleto”. Como consecuencia no ser´a posible encontrar el sistema formal deseado por Hilberten el marco de la l´ogica de primer orden. Una versi´on posterior y m´as general del teorema de odel elimina la posibilidad de considerar sistemas deductivos m´as potentes que los sistemas deprimer orden, demostrando que no pueden ser consistentes y completos a la vez. Los resultadosde G¨odel prueban que no s´olo no existe un algoritmo que pueda demostrar todos los teoremasen matem´aticas, sino que adem´as, no todos los resultados son demostrables. Entonces cabeplantearse las siguientes preguntas:¿Qu´e pueden hacer los ordenadores (sin restricciones de ning´un tipo)?¿Cuales son las limitaciones inherentes a los etodos autom´aticos de c´alculo?3

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->