Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword
Like this
40Activity
0 of .
Results for:
No results containing your search query
P. 1
Automatas y Lenguajes

Automatas y Lenguajes

Ratings:

5.0

(2)
|Views: 1,634|Likes:
Published by Jorge
Análisis de expresiones e inteligencia artificial
Análisis de expresiones e inteligencia artificial

More info:

Published by: Jorge on Aug 21, 2008
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

05/14/2013

pdf

text

original

 
5
q
4
q
3
q
2
q
1
q
0
qVerano 2003q
6
q
AUTOMATASY LENGUAJES
Un enfoque de diseño
Tec de MonterreyRamón Brena
7
babab
...
 
ii
Prefacio
En a˜nos recientes se ha visto la aparici´on de un buen n´umero de textos en el tema de Lenguajes Formales y Aut´omatas (Ver al final referencias [10],[7],[23], [8],[3], [21], etc.). Por una parte, esto indica la importancia y riqueza que el tema tiene; por otra, ante tal variedadde oferta todo nuevo libro en el ´area requiere una justificaci´on que indique su aporte conrespecto a lo existente.Este texto se sit´ua en una generaci´on de textos que tratan de poner el estudio de loslenguajes formales y aut´omatas al alcance de estudiantes que no necesariamente son avezadosmatem´aticos buscando establecer nuevos teoremas, sino que buscan una iniciaci´on a estostemas, que adem´as les sirva como un ejercicio en el arte de formalizar, en particular ennociones relacionadas con la computaci´on. Entre estos textos “accesibles”, encontramos, porejemplo, a [23]. Estos nuevos textos han reemplazado en muchas universidades a los “cl´asicos” [6]y un [10]-que ya era m´as accesible-, y han permitido que la teor´ıa de la computaci´on se estudie a nivel profesional en carreras relacionadas con computaci´on y matem´aticas.El presente libro es resultado de una experiencia de impartir el curso de Teor´ıa de laComputaci´on por m´as de 10 semestres en el ITESM,
1
en Monterrey, M´exico. Durante estelapso, aunque ciertamente se fue enriqueciendo el contenido t´ecnico, el principal refinamientoconsisti´o en ir detectando cuidadosamente las dificultades principales a las que se enfrenta-ban los estudiantes, para poder estructurar y presentar el material de forma que aquellosestuvieran en condiciones de comprenderlo de manera eficiente. Aqu´ı el ´enfasis no est´a tantoen hacer el curso “m´as f´acil” para los estudiantes, sino en asegurarse de que ´estos cuentencon los elementos para que
ellos mismos
reconstruyan estos contenidos dentro de su cabeza;no se trata, pues, simplemente de “vaciar” informaci´on en la cabeza del estudiante. La teor´ıaeducativa que sustenta esta forma de trabajo esta basada en el “aprendizaje por reestruc-turaci´on” [18]. El texto est´a presentado de manera tal que es posible para el alumno estudiar el material
antes
de cubrir el tema en clase; de hecho esta es la forma en que se utiliza en el ITESM,contrariamente a muchas clases tradicionales, en las que el alumno se presenta a la exposici´ondel profesor y ya
luego
estudia el texto. En el ITESM la clase no se utiliza principalmentepara exposici´on del profesor, sino que se hacen ejercicios, problemas en equipo, miniex´amenessemanales, etc. Esta situaci´on exige del texto que sea comprensible sin tener
ninguna noci´ on 
del tema adquirida previamente, por lo que tuvimos que incluir explicaciones claras quepermitan al alumno reconstruir en su mente la idea intuitiva, y -sobre todo- ejemplos. Alo largo del texto, cada una de las nociones presentadas es seguida inmediatamente por unejemplo ilustrativo.Este texto es aplicable tanto al nivel de maestr´ıa en computaci´on o equivalente, comoa clases de nivel profesional (licenciaturas, ingenier´ıas). De hecho en el ITESM se aplica enambos niveles. La diferencia fundamental entre el enfoque del curso de nivel profesional y el
1
Abreviatura de “Instituto Tecnol´ogico y de Estudios Superiores de Monterrey”.
 
iii
de maestr´ıa estriba en que el curso de nivel ingeniero enfatiza los aspectos de “saber hacer”,(por ejemplo, saber comparar dos aut´omatas deterministas), mientras que el curso de nivelmaestr´ıa enfatiza el “saber justificar” (por ejemplo, probar por inducci´on que una gram´aticaes correcta).El material cuyo nivel es propiamente de maestr´ıa es identificado por medio de unabarra vertical al margen, como en el presente p´arrafo. Esto incluye tambi´en las secciones deejercicios.En breve, los puntos que caracterizan a este libro, y que en cierta medida lo hacenparticular, son:La presentaci´on did´actica ha sido -en nuestra opini´on- m´as pulida que en la mayor´ıa de textos en Teor´ıa de la Computaci´on. Por ejemplo, primero se presentan las nocionesde manera intuitiva, y solamente despu´es se procede a su formalizaci´on.Es aplicable tanto al nivel de maestr´ıa como en carreras de ingenier´ıa en computaci´on,mostrando en forma expl´ıcita y gafica qu´e secciones est´an destinadas a cada nivel.Siendo un libro m´as orientado a estudiantes de ingenier´ıa que de matem´aticas, seenfatizan los temas que tienen com´unmente aplicaci´on en su campo profesional, comolos aut´omatas finitos. Esta es la raz´on por la que se cubren con mucho m´as detalle estos temas que otros de inter´es as te´orico, como la calculabilidad en m´aquinas de Turing. Sabemos de alumnos que han conseguido un buen empleo no universitario gracias a suconocimiento de aut´omatas finitos.Por la misma raz´on del punto anterior, ciertos temas que tradicionalmente se exponencon una motivaci´on matem´atica, como las propiedades de los “Lenguajes Regulares”,en este texto se presentan en el contexto de
etodos de dise˜ no
, lo que es consistentecon nuestro enfoque ingenieril. Es este aspecto lo que justifica el subt´ıtulo “un enfoquede dise˜no” de este texto.Ofrecemos
metodolog´ıas
para resolver ciertas clases de problemas, tales como el dise˜node expresiones regulares y gram´aticas, que no son presentadas en otros libros de teor´ıade aut´omatas, o lo hacen de forma mucho m´as escueta. Inclusive algunos temas, talescomo las propiedades de cerradura de los lenguajes regulares a la uni´on de conjuntos,se presentan aqu´ı como una herramienta de soluci´on de problemas de dise˜no, y nosimplemente por el inter´es matem´atico del tema.Presentamos errores frecuentes de los estudiantes de esta materia, permitiendo de estemodo que el lector se beneficie de una extensa experiencia directa en la ense˜nanza dela materia.Los algoritmos no se presentan en forma de “pseudoc´odigo”, es decir, usando estruc-turas de control de lenguajes imperativos (p.ej.
while
,
for 
, etc.), sino que damos una

Activity (40)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Elias Jacinto liked this
Karii Rangel liked this
Valentina Guedez liked this
César Pulido liked this

You're Reading a Free Preview

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