AUTOMATA FINITO DETERMINISTA (AFD)

∑={0,1}

Q={A,B,D}

q=A

F={B}

Transición

0 1
A B D
B B B
D D D
AUTOMATA FINITO NO DETERMINISTA (AFND)

∑={0,1}

Q={A,B}

q=A

F={B}

Transición

0 1
A B
B B B

∑={0,1}

Q={A,B}

q=A

F={B}

Transición

0 1
A B,D -
B B B
D D D