A I Ate

Autómatas con transiciones (AFN- )

José L. Ramı́rez
Departamento de Matemáticas
Universidad Nacional de Colombia

Introducción a la Teorı́a de la Computación – UN

Feb - 2021
Semana 4
AFD
Un autómata finito determinista (AFD) M es una quintupla
M = (⌃, Q, q0 , F, ), donde:
I ⌃ es un alfabeto llamado alfabeto de cinta. Todas las
cadenas que procesa M pertenecen a ⌃⇤ .
I Q = {q0 , q1 , . . . , qn } es un conjunto de estados internos
del autómata.
I q0 2 Q es el estado inicial.
I F ✓ Q es un conjunto de estados finales o de aceptación,
F 6= ;.
I La función de transición del autómata

:Q⇥⌃ !Q
(q, a) 7 ! (q, a)
En el modelo no-determinista es posible que una entrada se pueda
procesar de varias formas o que haya procesamientos abortados.

AFD
Un autómata finito no determinista (AFN) M es una quin-
tupla M = (⌃, Q, q0 , F, ), donde:
I ⌃ es un alfabeto llamado alfabeto de cinta. Todas las
cadenas que procesa M pertenecen a ⌃⇤ .
I Q = {q0 , q1 , . . . , qn } es un conjunto de estados internos
del autómata.
I q0 2 Q es el estado inicial.
I F ✓ Q es un conjunto de estados finales o de aceptación,
F 6= ;.
I La función de transición del autómata

: Q ⇥ ⌃ ! }(Q)
(q, s) 7 ! (q, s) = {qi1 , qi2 , . . . , qik }
El lenguaje aceptado por el AFN M, el cual se denota por
L(M), es el conjunto de todas las cadenas w de ⌃⇤ tal que
existe por lo menos un procesamiento completo de w que
termina en un estado de aceptación.
Teorema
O
Dado un AFN M = (⌃, Q, q0 , F, ) se puede construir un AF D
M 0 equivalente a M , es decir, tal que L(M ) = L(M 0 ).

Hih

IQI
ee
pi C 2,010,3 4,5 S

F 3 AEQI Anf 1 04
Los autómatas finitos no deterministas con transiciones (AFN )
son un AFD,IN con una clase especial de transiciones, llamadas
transiciones , que permiten pasar de un estado a otro sin
consumir el sı́mbolo.
AFN-
Un autómata finito con transiciones (AFN- ) M es una
quintupla M = (⌃, Q, q0 , F, ), donde:
I ⌃ es un alfabeto llamado alfabeto de cinta. Todas las
cadenas que procesa M pertenecen a ⌃⇤ .
I Q = {q0 , q1 , . . . , qn } es un conjunto de estados internos
del autómata.
I q0 2 Q es el estado inicial.
I F ✓ Q es un conjunto de estados finales o de aceptación,
F 6= ;.
I La función de transición del autómata

: Q ⇥ (⌃ [ { }) ! }(Q)
(q, a) 7 ! (q, a) = {qi1 , . . . , qik }
Ejemplo
Sea el autómata M = (⌃, Q, q0 , F, ), donde ⌃ = {0, 1},
Q = {q0 , q1 , q2 , q3 , q4 }, F = {q0 , q3 } y está definida
tabularmente por: r

0 1
q0
q1 I
{q1 }
{q0 , q2 }
;
{q0 , q2 , q3 }
{q2 }
;
I
q2 {q4 } {q1 , q3 } ;
q3 {q3 } ; ;
q4 ; {q2 } ;

to 20
ya e
 It
2 3914
W 00 I 101 C I
8144 349

1 top

vs
a
Hot
il
9 I couple

Eau
Redrayada
NV

rr
 tE
i
Ejercicio
Diseñar AFN que acepten el lenguaje

a⇤ [ (ab [ ba)⇤ [ b+

T T t a
Aa
att
x

It lab u bat

tomb
q
Ejercicio
Diseñar AFN que acepten el lenguaje

a⇤ (ab [ ba)⇤ b+
tr
o.si

o
Ejemplo
Diseñe un AFN que acepte el lenguaje
L = {w 2 ⌃⇤ : w = 0u0, u 2 ⌃⇤ } y L2 .

µ on LCM I L

L2 EL

9
o
o
s

O_O
Ejercicio
Diseñe un AFN que acepte todas las cadenas binarias que
contienen la subcadena 00101.

g
Hay
Diseñe un AFN que acepte el lenguaje de todas las cadenas que
comienzan con 101 o finalizan con 001, sobre el alfabeto
⌃ = {0, 1}.

f 00 01 00
 Equivalencia computacional entre los AFN y los AFN

Teorema
Dado un AFN M = (⌃, Q, q0 , F, ) se puede construir un
AF N M 0 equivalente a M , es decir, tal que L(M ) = L(M 0 ).

FfEYE Q 9o FIA

f
algorituo

M AFN 47
Definición
Sea M = (⌃, Q, q0 , F, ) un AFN, la
to
clausura de q, notada
como [q], es el conjunto de estados de M a los que se puede
llegar desde q por cero, uno o más transiciones .

Ejemplo

I
Da

3 z 9of
go 9i 9
 94 394,95,9 24
t 92 ITS 3ft
394
713 4Th Hs
371,54
I 390,9 1 519301 Eats

37,9 3,70407934
39,93,904
Teorema
Dado un AFN M = (⌃, Q, q0 , F, ) se puede construir un
AF N M 0 equivalente a M , es decir, tal que L(M ) = L(M 0 ).
Demostración:
The
M = (⌃, Q, q0 , F, ) !
re
M 0 = (⌃, Q, q0 , F 0 , 0
)

A QxEuEi p
0
: Q ⇥ ⌃ ! }(Q)
0
0
af
(q, a) 7 ! (q, a) := [ ( [q], a)]

y
O
F 0 = {q ✓ Q : [q] contiene por lo menos un estado de aceptación de M }
Sea A ⇢ Q y a 2 ⌃
0
(A, a) = [ ( [A] , a)]
2 3
[
= 4 1 (q, a)5
q2 [A]

= (A, a)
Ejercicio
Utilizar la construcción anterior para encontrar un AFN equivalente
al siguiente AFN- M .

IT to a X Ed X 1903 a

X A fifth a
 3904
L Go 3 to 9 zits

Biao b tattoo BD
A 12 92,734 b
391,44 371,44

D th a 39 2
Ist
b th b.to
D Ha.ae
QDt9
e.bkHftshNH
btffh
s.ak4Dlfts
O
 Próxima Sesión:
Complemento y Producto
cartesiano de un AFD.