¿AFD?

CONSISTE DE:
Conjunto de estados y cordialidad.  Un conjunto finito de estados, a
Corresponde a un estado final, transición a un único menudo designado como 𝑄.
estado.  Un conjunto finito de símbolos de
entrada, a menudo designado como
𝛴
 Una función de transición que
EJEMPLO: toma como argumentos un estado y
un símbolo de entrada y devuelve
AFD un estado. la función de transición
 Palabras que no empiezan en 00
se designa habitualmente como 𝛿.
El termino Determinista hace referencia al hecho de que para cada  En nuestra representación gráfica
Palabras
entrada solo existe un aceptadas| Palabras
y solo un estado no aceptadas
al que el autómata puede informal del autómata, 𝛿 se ha
hacer transiciones a partir de su estado actual. Un estado se diseña representa mediante arcos entre
110 001
los estados y las etiquetas sobre los
para que sea el estado inicial, y cero a mas000
011 estados para que sean
arcos. Si q es un estado y a es un
estados de aceptación. Una función de transición determina como
010 101 símbolo de entrada, entonces 𝛿(q,a)
cambia el estado cada vez que se procesa un símbolo de entrada. es el estado p tal que existe un arco
etiquetado a que va desde q hasta
p.
 Un estado inicial, uno de los
estados de Q.
 Un conjunto de estados finales o de
aceptación F. El conjunto F es un
subconjunto de Q.

¿Qué es una palabra aceptada?

Son palabras consumida que llegan a
un estado final.

EJEMPLO2;
Puede definirse como los siguiente;

Donde su función se define como; f

De manera explícita;
Su tabla

1
Su tabla;

La situación identificada como no deterministas, en

donde para un estado determinado y ante una misma
entrada, el autómata tiene la posibilidad de transitar
entre uno o más estados.

Dando su representación gráfica de la siguiente

manera;

2
3
4