1.

- Explique las diferencias entre autmatas finitos

deterministas y no deterministas, haga referencia a al menos
dos (2) autores y realice su propio aporte.

* Autmata Finito Determinista
Un autmata finito determinista (abreviado AFD) es un autmata finito que adems es un sistema
determinista; es decir, para cada estado en que se encuentre el autmata, y con cualquier smbolo
del alfabeto ledo, existe siempre a lo ms una transicin posible desde ese estado y con ese
smbolo.
Formalmente, se define como una 5 tupla (Q, , q
0
, , F) donde:
1

es un conjunto de estados;
es un alfabeto;
es el estado inicial;
es una funcin de transmisin
es un conjunto de estados finales o de aceptacin.
En un AFD no pueden darse ninguno de estos dos casos:
Que existan dos transiciones del tipo (q,a)=q
1
y (q,a)=q
2
, siendo q
1
q
2
;
Que existan transiciones del tipo (q, ), donde es la cadena vaca, salvo que sea un estado
final, sin transiciones hacia otros estados.

* Autmata Finito No Determinista
Un autmata finito no determinista (abreviado AFND) es un autmata finito que, a diferencia de
los autmatas finito determinista (AFD), posee al menos un estado q Q, tal que para un
smbolo a del alfabeto, existe ms de una transicin (q,a) posible.
En un AFND puede darse cualquiera de estos dos casos:
Que existan transiciones del tipo (q,a)=q
1
y (q,a)=q
2
, siendo q
1
q
2
;
Que existan transiciones del tipo (q,), siendo q un estado no-final, o bien un estado final pero
con transiciones hacia otros estados.
Cuando se cumple el segundo caso, se dice que el autmata es un autmata finito no
determinista con transiciones vacas o transiciones (abreviado AFND-). Estas transiciones
permiten al autmata cambiar de estado sin procesar ningn smbolo de entrada. Considrese una
modificacin al modelo del autmata finito para permitirle ninguna, una o ms transiciones de un
estado sobre el mismo smbolo de entrada.

2.- Describa al menos tres (3) aplicaciones de los autmatas
finitos deterministas y no deterministas, haga referencia a las
fuentes consultadas.








3.- Qu es un autmata finito?, haga referencia a al menos
dos (2) autores y realice su propio aporte

* Autmata Finito
Un autmata finito (AF) o mquina de estado finito es un modelo computacional que
realiza cmputos en forma automtica sobre una entrada para producir una salida.
Este modelo est conformado por un alfabeto, un conjunto de estados y un conjunto de
transiciones entre dichos estados. Su funcionamiento se basa en una funcin de transicin, que
recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la
entrada), y que va leyendo dicha cadena a medida que el autmata se desplaza de un estado a
otro, para finalmente detenerse en un estado final o de aceptacin, que representa la salida.
La finalidad de los autmatas finitos es la de reconocer lenguajes regulares, que corresponden a
los lenguajes formales ms simples segn la Jerarqua de Chomsky.



4.- Describa al menos tres (3) aplicaciones de los autmatas
cooperativos extendidos, haga referencia a las fuentes
consultadas.






5.- Qu son los autmatas cooperativos extendidos?, haga
referencia a al menos dos (2) autores y realice su propio aporte.