Teoria da Computação 2008-2 Sandra de Amo Revisão Autômatos Teoria da Computação 2008-2 Sandra de Amo
Exemplo q1 q0 q0 1 1 1 1 q3 q2
Definição Formal M = (Q, S, δ, q0, F) ESTADOS SIMBOLOS DE INPUT ESTADOS FINAIS ESTADO INICIAL TRANSICAO DE ESTADOS
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}
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
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
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}
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
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
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
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