Teoria da Computação Sandra de Amo

Apresentação em tema: "Teoria da Computação Sandra de Amo"— Transcrição da apresentação:

1 Teoria da Computação 2008-2 Sandra de Amo
Revisão Autômatos Teoria da Computação 2008-2 Sandra de Amo

2 Exemplo q1 q0 q0 1 1 1 1 q3 q2

3 Definição Formal M = (Q, S, δ, q0, F) ESTADOS SIMBOLOS DE INPUT
ESTADOS FINAIS ESTADO INICIAL TRANSICAO DE ESTADOS

4 Exemplo M = (Q, S, δ, q0, F) Q = {q0,q1,q2,q3} S = {0,1} F = {q0} 1 q0
q1 q0 q0 1 1 1 1 1 q0 q1 q3 q1 q0 q2 q3 q2 q2 q3 q0 q3 q2 q0 F = {q0}

5 String aceito por um autômato
q1 q0 q0 1 1 1 1 CASA VAZIA CASA VAZIA q3 q2 1 1 q0 q1 q2 q3 q2 q3 q0

6 String aceito por um autômato
q1 q0 q0 1 1 1 1 CASA VAZIA q3 q2 1 q0 q1 q2 q3 q2 q3 q2

7 Linguagem Aceita por um Autômato
L = conjunto de todas as palavras aceitas pelo autômato L(A) = linguagem aceita pelo autômato A L(A) = {w | w é aceita por A}

8 Exemplo L(A) = conjunto de todos os strings com numero par
q1 q0 q0 1 1 1 1 q3 q2 L(A) = conjunto de todos os strings com numero par de zeros e numero par de 1’s

9 Exemplo L(A) = conjunto de todos os strings com numero impar
q1 q0 q0 1 1 1 1 q3 q2 L(A) = conjunto de todos os strings com numero impar de zeros e numero impar de 1’s

10 Exemplo L(A) = conjunto de todos os strings com numero par
q1 q0 q0 1 1 1 1 q3 q2 L(A) = conjunto de todos os strings com numero par de zeros e numero impar de 1’s

11 Exemplo L(A) = conjunto de todos os strings com numero impar
q1 q0 q0 1 1 1 1 q3 q2 L(A) = conjunto de todos os strings com numero impar de zeros e numero par de 1’s