A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Informática Teórica Engenharia da Computação

Apresentações semelhantes


Apresentação em tema: "Informática Teórica Engenharia da Computação"— Transcrição da apresentação:

1 Informática Teórica Engenharia da Computação

2 Autômatos Finitos Equivalência entre AFNs e AFDs
Autômatos finitos determinísticos e não-determinísticos reconhecem a mesma classe de linguagens. Duas máquinas são equivalentes se elas reconhecem a mesma linguagem. Teorema: Todo autômato finito não-determinístico tem um autômato finito determinístico equivalente.

3 Equivalência entre AFNs e AFDs
Vamos converter um AFN em um AFD equivalente que o simule. Se k é o número de estados do AFN, ele tem 2k subconjuntos de estados. Cada subconjunto corresponde a uma das possibilidades de que o AFD tem que se lembrar, portanto o AFD que simula o AFN terá 2k estados.

4 Equivalência entre AFNs e AFDs
N (Q, , ,q0, F) 2 a a a,b 1 3 a b 1 {1,2} {1} 2 {3} 3 M ((Q), , ’, qo’, F’) Q’= (Q) b {1} {2} {3} q0’= {1} a b ’ a b {1} {1,2} {1,2,3} {1,3} {2,3} {1,2} a b F’ = { R Q’ | R contem um estado de aceitação de N} a {1,2,3} ’ (R,s)= união de (q,s) para cada q  R.

5 Equivalência entre AFNs e AFDs Introduzindo as transições 
N (Q, , ,q0, F) 1 a b 1 {2} {3} 2 {2,3} 3 {1} b a a 2 3 a,b Para qualquer estado R de M definimos E(R) como sendo a coleção de estados que podem ser atingidos a partir de R indo somente ao longo de setas , incluindo os próprios membros de R. Formalmente, para R  (Q) seja E(R) = {q |q pode ser atingido a partir de R viajando-se ao longo de 0 ou mais setas } M ((Q), , ’, qo’, F’) q0’= {1,3} Logo q0’= E({q0}) q0’ = E({1}) = {1,3}

6 ’ (R,s)= união de E((q,s)) para cada q  R.
3 2 a 1 a,b b N (Q, , ,q0, F) M ((Q), , ’, qo’, F’) ’ (R,s)= união de E((q,s)) para cada q  R. a,b b b a {1} {2} {3} a b b a a {1,2} {2,3} {1,3} {1,2,3} b a

7 Autômatos Finitos Equivalência entre AFNs e AFDs
Como acabamos de ver: Teorema: Todo autômato finito não-determinístico tem um autômato finito determinístico equivalente. Logo, Corolário: Uma linguagem é regular se e somente se algum autômato finito não-determinístico a reconhece.


Carregar ppt "Informática Teórica Engenharia da Computação"

Apresentações semelhantes


Anúncios Google