Automatas

En a~nos reciente se ha visto la aparicion de un buen numero de textos en el tema de Lenguajes

Formales y Automatas (Ver al nal referencias [5], [3], [10], [4], [2], etc.). Por una parte, esto

indica la importancia y riqueza que el tema tiene; por otra, ante tal variedad de oferta todo

nuevo libro en el area requiere una justicacion, un aporte con respecto a lo existente.

Este texto se situa en una generacion de textos que tratan de poner el estudio de los

lenguajes formales y aotomatas al alcance de estudiantes que no necesariamente son avezados

matematicos buscando establecer nuevos teoremas, sino que buscan una iniciacion a

estos temas, que ademas les sirva como un ejercicio en el arte de formalizar, en particular en

nociones relacionadas con la computacion. Entre estos textos \accesibles", encontramos, por

ejemplo, a [10]. Estos nuevos textos han reemplazado en muchas universidades a los \clasicos"

[3] y aun [5] -que ya era mas accesible-, y han permitido que la teora de la computacion

se estudie a nivel profesional en carreras relacionadas con computacion y matematicas.

El presente libro es resultado de una experiencia de impartir el curso de Teora de la

Computacion por mas de 10 semestres en el ITESM, Monterrey. Durante este lapso, aunque

ciertamente se fue enriqueciendo el contenido tecnico, el principal renamiento consistio en

ir detectando cuidadosamente las dicultades principales a las que se enfrentaban los estudiantes,

para poder estructurar y presentar el material de forma que aquellos estuvieran en

condiciones de \digerirlo" de manera constructiva. Aqui el enfasis no es tanto en hacer el

curso \mas facil" para el estudiante, sino en darle los elementos para ser mas ecaz como

aprendiz. La teora educativa que sustenta esta forma de trabajo es la del \andamiaje", que,

como el nombre sugiere, provee al estudiante una estructura de apoyo para que el mismo

vaya reconstruyendo en su cabeza la red de conceptos y relaciones que caracterizan al area.

Este texto es aplicable tanto al nivel de maestra en computacion o equivalente, como a

clases de nivel profesional (licenciaturas, ingenieras). De hecho en el ITESM se ha aplicado

en ambos niveles. Las secciones cuyo nivel es propiamente de maestra son identicadas por

medio de un signo \".

En breve, los puntos que caracterizan a este libro, y que en cierta medida lo hacen

particular, son:

 La presentacion didactica ha sido -en nuestra opinion- mas pulida que en la mayora

de textos en Teora de la Computacion.

 Se cubre el tema de las Redes de Petri, tema ntimamente relacionado con los automatas,

y que ha adquirido una gran importancia

...