Aulas LFA 5

Teoria de Linguagens de Programao
Autmatos Finitos ou
Mquinas de Estado Finitas
Prof. Edward Hermann Haeusler
PUC-Rio
Departamento de Informtica
Prof. Edward Hermann Haeusler (PUC-Rio ) Teoria de Linguagens de Programao Autmatos Finitos ou Mquinas de Estado Finitas Departamento de Informtica 1 / 16
Modelo de Comportamento
Paradigma de estados
e transies entre
estados
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
e transies entre
estados
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
Funcionamento de um autmato
L sequencialemnte da esquerda
para a direita, smbolo a smbolo,
uma palavra
A cada smbolo lido pode haver uma
mudana de estado.
Se ao m da leitura o autmato
estiver em um estado nal (de
aceitao), a palavra dita ser aceita
por ele.
O autmato inicia sua execuo em
um estado inicial (nico).
Para aceitar uma palavra com k
smbolos, muda-se no mximo
k-vezes de estado !!!
e transies entre
estados
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
uma palavra
mudana de estado.
por ele.
e transies entre
estados
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
uma palavra
mudana de estado.
por ele.
e transies entre
estados
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
uma palavra
mudana de estado.
por ele.
e transies entre
estados
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
uma palavra
mudana de estado.
por ele.
Execuo do autmato anterior sobre abbabc
Autmato Finito
Denio Matemtica
Um Autmato Finito uma estrutura Q, , q
0
, F, , onde:
Q um conjunto nito no vazio. de Estados
um conjunto nito de smbolos, Q = .
q
0
Q o estado inicial.
F Q o conjunto de estados nais.
: Q Q uma funo parcial.
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Exemplo
.
?>=< 89:;
q
0
b
?>=< 89:;
q
1
c
?>=< 89:; /.-, ()*+

q
2
Autmato Finito
Denio Matemtica
0
, F, , onde:
q
0
Q o estado inicial.
Exemplo
.
?>=< 89:;
q
0
b
?>=< 89:;
q
1
c
?>=< 89:; /.-, ()*+

q
2
Descrio Matemtica do Exemplo
{q
0
, q
1
, q
2
},
{a, b, c}, q
0
,
{q
2
},
{< q
0
, a, q
0
>, < q
0
, b, q
1
>, < q
1
, b, q
0
>, < q
1
, c, q
2
>}
Autmato Finito
Denio Matemtica do Funcionamento
Seja / um Autmato Finito Q, , q
0
, F, ). Dene-se

: Q
Q, como:
(q, ) = q
(q, .) =

((q, ), )
a extenso de que descreve o funcionamento de um autmato para

qualquer palavra.
Denio
Seja / um Autmato Finito (AFD) Q, , q
0
, F, ). A linguagem aceita por /,
L(/) denida como /
(q
0
, ) F.
Comparando Mecanismos
Aceitao de Palavras
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
Fato ??
L gerada por uma gramtica Regular sse L aceita por autmato
nito.
Comparando Mecanismos
Aceitao de Palavras
.
GFED @ABC
q
0
b
GFED @ABC
q
1
c
GFED @ABC ?>=< 89:;

q
2
Gerao de Palavras
< q
0
> a < q
0
> [b < q
1
>
< q
1
> b < q
0
> [c
Fato ??
L gerada por uma gramtica Regular sse L aceita por autmato
nito.
Gramticas Regulares
Denio
G dita ser uma gramtica regular, sse, toda produo de G de uma
das formas A aB, A a ou S , com A, B no-terminais, S inicial
, a e b terminais.
Observao
G pode, conter produes da forma A . Pode-se sempre
elimin-las preservando a linguagem gerada pela gramtica. COMO
?? Para toda regra B bA que usa A do lado direito, considera-se
uma nova regra B b. Deve-se manter a regra original, caso A
no seja a nica regra com A do lado esquerdo.
Aut. Finitos e Gramticas Regulares
Teorema
Seja / = Q, , q
0
, F, ) um autmato nito. Existe uma gramtica
regular (
A
, tal que L(/) = L((
A
).
Aut. Finitos e Gramticas Regulares
Teorema
Seja / = Q, , q
0
, F, ) um autmato nito. Existe uma gramtica
regular (
A
, tal que L(/) = L((
A
).
Prova. (
A
= , Q, q
0
, 1), onde, c _ tal que:
q q
1 se e somente se (q, ) = q
q 1 se e somente se (q, ) F ,=
Gramticas Regulares e No-determinismo
Exemplo: A a?, depois de produzir a pode-se produzir A ou B
A aA[aB
B bB[b
A aA[aB
B bB[b
Exemplo: No estado A, lendo a, qual o prximo estado ??
.
?>=< 89:;
A
a
?>=< 89:;
B
A aA[aB
B bB[b
Exemplo: No estado A, lendo a, qual o prximo estado ??
.
?>=< 89:;
A
a
?>=< 89:;
B
Exemplo: No estado B, lendo b, qual o prximo estado ??
.
?>=< 89:;
B
b
ONML HIJK GFED @ABC

FIM
Aut. Finitos No Determinsticos AFND
UM AFND uma estrutura Q, , q
0
, F, ), onde:
Q um conjunto nito no vazio. Estados
q
0
Q o estado inicial.
: Q pot (Q) uma funo total.
0
, F, ), onde:
q
0
Q o estado inicial.
0
, F, ), onde:
q
0
Q o estado inicial.
0
, F, ), onde:
q
0
Q o estado inicial.
0
, F, ), onde:
q
0
Q o estado inicial.
0
, F, ), onde:
q
0
Q o estado inicial.
0
, F, ), onde:
q
0
Q o estado inicial.
A funo

: Q
Q, que descreve o funcionamento do autmato lendo

palavras de
(q, ) = q
(q, .) =
(q,)
(q
, )
Denio
A linguagem aceita por /, L(/) denida como /
(q
0
, ) F ,= .
Gramticas Regulares e AFNDs
Teorema
Seja ( = , N, S, 1) uma gramtica regular. Existe um AFND /
G
, tal
que L(() = L(/
G
).
Gramticas Regulares e AFNDs
Teorema
Seja ( = , N, S, 1) uma gramtica regular. Existe um AFND /
G
, tal
que L(() = L(/
G
).
Prova. /
G
= N FIM, , S, FIM, ), onde, tal que:
A B 1 se e somente se B (A, )
A 1 se e somente se FIM (A, )
Construindo Determinismo
Exemplo: Um Aut. No-Determinstico que aceita L(G)
.
?>=< 89:;
A
a
?>=< 89:;
B b
?>=< 89:; 7654 0123

FIM
Construindo Determinismo
Exemplo: Um Aut. No-Determinstico que aceita L(G)
.
?>=< 89:;
A
a
?>=< 89:;
B b
?>=< 89:; 7654 0123

FIM
Exemplo: Um Autmato Determinstico Equivalente
.
?>=< 89:;
A
a
?>=< 89:;
AB
a
GFED @ABC ?>=< 89:;

BFIM b
.
AFND e AFD
Teorema
Seja / = Q, , q
0
, F, ) um autmato nito No-Determinstico.
Existe um AFD

/, tal que L(

/) = L(/).
AFND e AFD
Teorema
Seja / = Q, , q
0
, F, ) um autmato nito No-Determinstico.
Existe um AFD

/, tal que L(

/) = L(/).
Prova.

/ = , pot (Q), q
0
, R/F R ,= ,
pot
), onde,
pot
tal que:
pot
(R, ) =
qR
(q, )
Linguagens Regulares
Uma Linguagem L Regular, se e somente se, existe uma
gramtica regular ( tal que L(() = L.
Uma Linguagem L Regular, se e somente se, existe um AFND
/, tal que, L(/) = L.
Uma Linguagem L Regular, se e somente se, existe um AFD /,
tal que, L(/) = L.
Linguagens Regulares
Uma Linguagem L Regular, se e somente se, existe uma
gramtica regular ( tal que L(() = L.
Uma Linguagem L Regular, se e somente se, existe um AFND
/, tal que, L(/) = L.
Uma Linguagem L Regular, se e somente se, existe um AFD /,
tal que, L(/) = L.
Teorema de Kleene (I)
Teorema
A classe das linguagens regulares fechada para as operaes de
concatenao, e
Autmatos com transies
Uma convenincia formal
.
?>=< 89:;
A
a
?>=< 89:;
B
b
?>=< 89:; 7654 0123

C
?>=< 89:;
A
a
c
c
c
c
c
c
c
c
c
?>=< 89:;
B
b
b
.

?>=< 89:; 7654 0123

C
Autmatos com transies
Eiminando transies
Para cada q
2
(q, ) e q (q
1
, ), faz-se q
2
(q
1
, a). Eliminar a
transio quando todos os pares (q
1
, q
2
) forem considerados
GFED @ABC
q
1
a
?>=< 89:;
q
GFED @ABC ?>=< 89:;

q
2
GFED @ABC
q
1
a
e
e
e
e
e
e
e
e
e
?>=< 89:;
q

GFED @ABC ?>=< 89:;

q
2
Repita esta transformao at no haver mais transies .
Denindo autmatos a partir de autmatos
Um autmato que aceita L(A
1
) L(A
2
)
.
?>=< 89:;
q
.r
r
r
r
r
r
r
r
r
r
r
r
r
r
v
v
v
v
v
v
v
v
v
v
v
v
v
v
.
GFED @ABC
q
A
1
0
d
d
d
d
d
d
d
d
.
GFED @ABC
q
A
2
0
~
~
~
~
~
~
~
~
Denindo autmatos a partir de autmatos
Um autmato que aceita L(A)
..
f
f
f
f
f
f
f
f
f
. ?>=< 89:;
q
A
0

b
b
b
b
b
b
b
b
... ?>=< 89:; 7654 0123
q
A
F
..
|
|
|
|
|
|
|
|
|

Aulas LFA 5

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Aulas LFA 5

Transféré par

Droits d'auteur :

Formats disponibles

Teoria de Linguagens de Programao

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

?>=< 89:; /.-, ()*+

?>=< 89:; /.-, ()*+

a extenso de que descreve o funcionamento de um autmato para

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

ONML HIJK GFED @ABC

Q, que descreve o funcionamento do autmato lendo

?>=< 89:; 7654 0123

?>=< 89:; 7654 0123

GFED @ABC ?>=< 89:;

?>=< 89:; 7654 0123

?>=< 89:; 7654 0123

GFED @ABC ?>=< 89:;

GFED @ABC ?>=< 89:;

Vous aimerez peut-être aussi