1. Elizabeth Sola Lira.

2.  Un autómata de estado finito es
similar a una maquina de estado
finito excepto que el autómata tiene
estados de aceptación y estados de
no aceptación (rechazo) en lugar de
una salida.

4. Un autómata de estado finito no deterministico
consiste en:
 A) un conjunto finito T de símbolos de
entrada.
 B)un conjunto de estados finitos S.
 C) una función f del siguiente estado de SXT
en p(s)
 D)un subconjunto A de S de estados de
aceptación.
 E)un estado inicial ∞ ES.

5. Ejemplo:
Diseñe un autómata de estado finito que
acepte precisamente cadenas {a,b} que
contienen “un numero impar de símbolos a”.

6.  Estados:
 ◊: se encontró un numero par de “a”.
 □: se encontró un numero impar de “a”.
b b
inicio
a
◊ □
a

7.  Nosdice que el autómata solo debe aceptar
cadenas {a,b} que contiene “un numero
impar de símbolos a”. Por lo tanto ponemos 2
estados; uno será ◊ y el otro □. El estado □
es de aceptación ya que el contiene: se
encontró un numero impar de “a”.

8.  Cadenas aceptadas:
 aaba
 ba
 ababba
 Cadenas NO aceptadas:
 aab
 abbbba
 Aa
(estas son solo algunas cadenas).

9.  Con esto comprobamos que nuestro
autómata es correcto, ya que de acuerdo a
las cadenas aceptadas cumple la condición
de :“un numero IMPAR de símbolos a” ya que
si una cadena contiene “un numero PAR de
símbolos a” la cadena no es aceptada (no
llega a un estado de aceptación). Los estados
se pueden representar con números, letras,
dibujos etc. ya que es una simbología. Los
estados de aceptación siempre van en doble
circulo.