Autmatas finitos

El trmino mquina evoca algo hecho en metal, usualmente ruidoso y grasoso, que
ejecuta tareas repetitivas que requieren de mucha fuerza o velocidad o precisin.
Ejemplos de estas mquinas son las embotelladoras automticas de refrescos. Su diseo
requiere de conocimientos en mecnica, resistencia de materiales, y hasta dinmica de
fluidos. Al disear tal mquina, el plano en que se le dibuja hace abstraccin de algunos
detalles presentes en la mquina real, tales como el color con que se pinta, o las
imperfecciones en la soldadura.

El plano de diseo mecnico de una mquina es una abstraccin de sta, que es til
para representar su forma fsica. Sin embargo, hay otro enfoque con que se puede
modelar la mquina embotelladora: cmo funciona, en el sentido de saber qu secuencia
de operaciones ejecuta. As, la parte que introduce el lquido pasa por un ciclo repetitivo
en que primero introduce un tubo en la botella, luego descarga el lquido, y finalmente
sale el tubo para permitir la colocacin de la cpsula (corcholata). El orden en que se
efecta este ciclo es crucial, pues si se descarga el lquido antes de haber introducido el
tubo en la botella, el resultado no ser satisfactorio.

El modelado de una mquina en lo relacionado con secuencias o ciclos de acciones se

aproxima ms al enfoque que adoptaremos en este curso. Las mquinas que
estudiaremos son abstracciones matemticas que capturan solamente el aspecto
referente a las secuencias de eventos que ocurren, sin tomar en cuenta ni la forma de la
mquina ni sus dimensiones, ni tampoco si efecta movimientos rectos o curvos, etc.

En esta parte estudiaremos las mquinas abstractas ms simples, los autmatas finitos,
las cuales estn en relacin con los lenguajes regulares, como veremos a continuacin.

AUTMATAS FINITOS

Modelado de sistemas discretos

Antes de definir los autmatas finitos, empezaremos examinando las situaciones de la
realidad que pueden ser modeladas usando dichos autmatas. De esta manera, iremos
de lo ms concreto a lo ms abstracto, facilitando la comprensin intuitiva del tema.

El modelado de fenmenos y procesos es una actividad que permite:

Verificar hiptesis sobre dichos procesos;

Efectuar predicciones sobre el comportamiento futuro;

Hacer simulaciones (eventualmente computarizadas);

Hacer experimentos del tipo qu pasara si. . . ?, sin tener que actuar sobre el proceso
o fenmeno fsico.
Llamamos eventos discretos a aqullos en los que se considera su estado slo en ciertos
momentos, separados por intervalos de tiempo, sin importar lo que ocurre en el sistema
entre estos momentos.

Es como si la evolucin del sistema fuera descrita por una secuencia de fotografas, en
vez de un flujo continuo, y se pasa bruscamente de una fotografa a otra.

Usualmente se considera que la realidad es continua, y por lo tanto los sistemas

discretos son solamente una abstraccin de ciertos sistemas, de los que nos interesa
enfatizar su aspecto discreto. Por ejemplo, en un motor de gasolina se dice que tiene
cuatro tiempos: Admisin, Compresin, Ignicin y Escape. Sin embargo, el pistn en
realidad no se limita a pasar por cuatro posiciones, sino que pasa por todo un rango de
posiciones continuas. As, los cuatro tiempos son una abstraccin de la realidad.

La nocin ms bsica de los modelos de eventos discretos es la de estado. Un estado es

una situacin en la que se permanece un cierto lapso de tiempo. Un ejemplo de la vida
real es el de los estados civiles en que puede estar una persona: soltera, casada,
viuda, divorciada, etc. De uno de estos estados se puede pasar a otro al ocurrir un
evento o accin, que es el segundo concepto bsico de la modelacin discreta. As, por
ejemplo, del estado soltero se puede pasar al estado casado al ocurrir el evento
boda. Similarmente, se puede pasar de casado a divorciado mediante el evento
divorcio. En estos modelos se supone que se permanece en los estados un cierto
tiempo, pero por el contrario, los eventos son instantneos.

Esto puede ser ms o menos

realista, dependiendo de la situacin
que se est modelando. Por ejemplo,
en el medio rural hay bodas que
duran una semana, pero desde el
punto de vista de la duracin de una
vida humana, este tiempo puede
considerarse despreciable. En el
caso del evento divorcio, pudiera
ser inadecuado considerarlo como
instantneo, pues hay divorcios que
duran aos. En este caso, el modelo
puede refinarse definiendo un nuevo
estado divorcindose, al que se
llega desde casado mediante el
evento inicio divorcio.