Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
1|0
.
ONML HIJK
s
1
0
ONML HIJK GFED @ABC
s
2
Figura 4.1: Representao grca do AF
Conforme descrito anteriormente, formalmente este autmato denido da
seguinte forma:
A = (S, , s
0
, F, ) = ({s
0
, s
1
, s
2
}, {0, 1}, s
0
, {s
2
}, )
onde,
21
(s
0
, 0) = {s
0
}
(s
0
, 1) = {s
0
, s
1
}
(s
1
, 0) = {s
2
}
Para vericar formalmente se uma determinada palavra reconhecida pelo
autmato, necessrio explorar todos os caminhos a partir do estado inicial. Para
este m utilizada a transio estendida
que calcula o conjunto de estados
passiveis de serem atingidos a partir de um determinado estado, aps processar
uma sequncia de smbolos do alfabeto.
Note-se que a transio
(s
0
, ) = {s
0
} indica que no caso de no ser consumido
qualquer smbolo (representado por ), no haver lugar transio de estado.
O reconhecimento da palavra 100110 descrito atravs da seguinte sequncia:
(s
0
, ) = {s
0
}
(s
0
, 1) = (s
0
, 1) = {s
0
, s
1
}
(s
0
, 10) = (s
0
, 0) (s
1
, 0) = {s
0
} {s
2
} = {s
0
, s
2
}
(s
0
, 100) = (s
0
, 0) (s
2
, 0) = {s
0
} = {s
0
}
(s
0
, 1001) = (s
0
, 1) = {s
0
, s
1
}
(s
0
, 10011) = (s
0
, 1) (s
1
, 1) = {s
0
, s
1
} = {s
0
, s
1
}
(s
0
, 100110) = (s
0
, 0) (s
1
, 0) = {s
0
} {s
2
} = {s
0
, s
2
}
A representao grca da sequncia de transies apresentada na gura 4.2.
Relembre-se que, o processamento bem sucedido da palavra implica o consumo
integral de todos os smbolos que a compe, e que aps o consumo do ltimo
smbolo o autmato se encontre num estado nal. Assim, a palavra em questo
(100110) poderia ser integralmente consumida no estado s
0
, no entanto, como s
0
no se trata de um estado nal esse caminho no seria vlido, sendo apenas vlido
o caminho terminado em s
2
.
GFED @ABC
s
0
L
L
L
L
L
L
L
GFED @ABC
s
0
GFED @ABC
s
0
GFED @ABC
s
0
L
L
L
L
L
L
L
GFED @ABC
s
0
L
L
L
L
L
L
L
GFED @ABC
s
0
GFED @ABC
s
0
GFED @ABC
s
1
K
K
K
K
K
K
K
GFED @ABC
s
1
GFED @ABC
s
1
K
K
K
K
K
K
K
GFED @ABC ?>=< 89:;
s
0
.
ONML HIJK
E
0
ONML HIJK
s
1
0
1
.
ONML HIJK GFED @ABC
s
2
0
1
ONML HIJK
s
3
1
a|b
.
ONML HIJK GFED @ABC
B
2) = {a, b, c, d}; No autmato, \{b} representa todo o alfabeto ex-
cepto o conjunto {b}
start
ONML HIJK
A
a
\{b}
.
ONML HIJK
B
b
ONML HIJK GFED @ABC
C
.
3) = {a, b, c, d, . . . , y, z}
start
ONML HIJK
A
a
.
ONML HIJK
B
e
ONML HIJK
C
i
ONML HIJK
D
o
ONML HIJK
E
u
ONML HIJK GFED @ABC
F
.
b) Minimize os seguintes autmatos.
1) ONML HIJK
E
1
@
@
@
@
@
@
@
@
@
0
start
ONML HIJK
A
1
ONML HIJK
B
0
1
ONML HIJK
D
1
0
ONML HIJK GFED @ABC
F
1
start
ONML HIJK
A
c
~
~
~
~
~
~
~
~
~
b
ONML HIJK
B
a
ONML HIJK
C
c
a
.
ONML HIJK GFED @ABC
2
2)
start
ONML HIJK
1
b
a
.
ONML HIJK
2
b
ONML HIJK GFED @ABC
3
b
.
3)
start
ONML HIJK
1
b
ONML HIJK
2
a
a
ONML HIJK
3
b
ONML HIJK GFED @ABC
4
f) Implemente um autmato nito determinstico para cada uma das seguintes
expresses regulares:
28
1) [0-9]+
2) [0-9]+"."[0-9]+
3) [f-o][k-z3-7]*
4) ("---"[a-z]*"\n")|(" "|"\n"|"\t")
g) Outros exerccios
1) Converta o AFN em AFD.
= {a, b, c, d, . . . , y, z}
ONML HIJK
B
e
ONML HIJK
C
b
ONML HIJK GFED @ABC
D
start
ONML HIJK
A
w
s
s
s
s
s
s
s
e
K
K
K
K
K
K
K
ONML HIJK
E
b
ONML HIJK
F
a
ONML HIJK
G
y
ONML HIJK GFED @ABC
H
2) Verique se o autmato para reconhecimento de moedas criado na aula
anterior est minimizado.
3) Represente as seguintes linguagens por uma expresso regular e por um
AFD:
i. Para o alfabeto = {0, 1}
L(A) = {u
: u um nmero imaginrio}
iii. Para o alfabeto = {I, V, X, L, C}
L(A) = {u