Está en la página 1de 2

$&(3725'((67$'26),1,726&2175$16,&,21(6O $()O 

Un aceptor de estados finitos con transiciones (AEF-) es un aceptor no-determinstico M = (Q, S, P, , F) en


el que la relacin de transicin est definida como:
[1]
P: Q x (S {}) (Q)
La transicin P(q, ) = {q1, , qn}, llamada transicin o transicin nula, tiene el siguiente significado: estando
en el estado q, la mquina puede cambiar a uno cualquiera de los estados q1, , qn independientemente del
smbolo ledo. Dicho de otra manera, las transiciones permiten al autmata cambiar de estado sin leer ningn
smbolo de la entrada.
En el diagrama de estados, las transiciones dan lugar a arcos rotulados con . Una cadena de entrada es
aceptada por un AEF- si existe por lo menos un camino cuyos rtulos son exactamente los smbolos de ,
intercalados con cero, una o ms s.
El modelo AEF-, al igual que el AEF no determinstico, permite mltiples secuencias de estados admisibles
para un mismo string de entrada, as como secuencias de estados que no finalizan. Pero, a diferencia de los
AEF determinsticos y no determinsticos, en los AEF- pueden existir secuencias de estados infinitas, es decir
secuencias que nunca terminan.
(MHPSOR

Los AEF- permiten an ms libertad en el diseo de autmatas, especialmente cuando hay numerosas
concatenaciones.
(MHPSOR

El siguiente AEF acepta el lenguaje L=a*b*c*:

El siguiente AEF- acepta el mismo


lenguaje:

El AEF- se asemeja a la expresin regular a*b*c*: las concatenaciones han sido reemplazadas por
transiciones .
(MHPSOR

Sea S = {a, b} y L = { S* / tiene un nmero par de as o un nmero par de bs}

AEF determinstico que acepta strings con un


nmero par de as:

AEF determinstico que acepta strings con un


nmero par de bs:

AEF- que acepta strings con un nmero par de as o un nmero par de bs:

(MHUFLFLRV

Disear AEF- que acepten los siguientes lenguajes:

1. (ab b)* ab*


2. a(a c)*b

3. ab* ba* b(ab ba)*


4. ab*ba*b(ab ba)*
5. (0 010)*0*(01 10)*
6. 0 1(010)*(01 10)*1
+

(Q) denota el conjunto de todos los subconjuntos de un conjunto dado Q y es llamado conjunto potencia (o conjunto de
partes) de Q; luego, la relacin de transicin P as definida asocia a cada par (estado, smbolo de entrada o ) un
subconjunto de estados sucesores, includo el conjunto vaco.
[1]

(48,9$/(1&,$(175(/26$()O</26$()12'(7(50,167,&26

A continuacin se mostrar que el modelo AEF- es computacionalmente equivalente al modelo AEF no


determinstico. O dicho ms grficamente, las transiciones se pueden eliminar, aadiendo transiciones que las
simulen, sin alterar el lenguaje aceptado.
En primer lugar, un AEF no determinstico M = (Q, S, P, , F) puede ser considerado como un AEF- en el que,
simplemente, hay cero transiciones . Para la afirmacin recproca tenemos el siguiente teorema:
Dado un AEF- M = (Q, S, P, , F), se puede construir un AEF no determinstico M equivalente a M,
es decir, tal que L(M) = L(M).

7HRUHPD

3URFHGLPLHQWR GH FRQVWUXFFLyQ Para construir M a partir de M se requiere la nocin de OFODXVXUD de un


estado. Para un estado q Q, la -clausura de q, simbolizada [q], es el conjunto de estados de M a los que se
puede llegar desde q por 0, 1 o ms transiciones . Ntese que, en general, [q] P(q, ).

Por definicin, q [q]. Adems, [] = .


[q] = {q} {q Q / q q en M}

Tambin se puede definir:


[q] = {q} [q]

q P(q, )

La -clausura de un conjunto de estados {q1, , qk} se define por:


[{q1, , qk}] = [q1] [qk]

Sea M = (Q, S, P, , F) donde


P: Q x S (Q) es tal que

P(q, s) = [P([q], s)]

M simula as las transiciones de M teniendo en cuenta todos los posibles caminos.


F se define como:
F = {q Q / [q] F }
Es decir, los estados de aceptacin de M incluyen los estados de aceptacin de M y aquellos estados desde los
cuales se puede llegar a un estado de aceptacin por medio de una o ms transiciones .
(MHPSOR

Vamos a aplicar el procedimiento de transformacin a la mquina M :


L(M) = a*b*c*

Las -clausuras de los estados vienen dadas por:


[q2] = {q2}
[q1] = {q1} [q2] = {q1, q2}
[q0] = {q0} [q1] = {q0, q1, q2}

La funcin de transicin P: Q {a, b, c} ({q0, q1, q2}) es:


P(q0, a) = [P([q0], a)] = [P({q0, q1, q2}, a)] = [{q0}] = {q0, q1, q2}
P(q0, b) = [P([q0], b)] = [P({q0, q1, q2}, b)] = [{q1}] = {q1, q2}
P(q0, c) = [P([q0], c)] = [P({q0, q1, q2}, c)] = [{q2}] = {q2}
P(q1, a) = [P([q1], a)] = [P({q1, q2}, a)] = [] =
P(q1, b) = [P([q1], b)] = [P({q1, q2}, b)] = [{q1}] = {q1, q2}
P(q1, c) = [P([q1], c)] = [P({q1, q2}, c)] = [{q2}] = {q2}
P(q2, a) = [P([q2], a)] = [P({q2}, a)] = [] =
P(q2, b) = [P([q2], b)] = [P({q2}, b)] = [] =
P(q2, c) = [P([q2], c)] = [P({q2}, c)] = [{q2}] = {q2}
El autmata M as obtenido es el siguiente:

(MHUFLFLRV

Construir AEF no determinsticos equivalentes a los siguientes AEF-: