70 likes | 162 Views
Gramáticas Livres do Contexto Revisão. Teoria da Computação Pós-Graduação em Ciência da Computação Profa. Sandra de Amo. Gramática. G = (V,T,P,S) V = variáveis, S = variável inicial T = terminais P = conjunto de regras do tipo w -> u onde
E N D
Gramáticas Livres do ContextoRevisão Teoria da Computação Pós-Graduação em Ciência da Computação Profa. Sandra de Amo
Gramática • G = (V,T,P,S) V = variáveis, S = variável inicial T = terminais P = conjunto de regras do tipo w -> u onde w = string de variáveis e terminais u = string de variáveis e terminais
Diferença entre gramáticas e autômatos Autômato Gramática Reconhece strings Gera strings Mecanismo Reconhecedor Mecanismo Enumerador Quais são as palavras da Linguagem L A palavra “aba” pertence a linguagem L ? aaa SIM NÃO abab abbb ….
Diferença entre gramáticas e autômatos Autômato Gramática Sim abab Não Aaaabb Abababa Sweklk Slkdjfil Slkdfjlskd ….. abab pertence a L ?
Gramática Livre do Contexto S B A S -> AB S->a A-> AC A -> a B-> AC C -> c C-> SB A A C C A C c a c B S a C a A z = a c a a a c c a c
Derivação de uma palavra S S -> AB S->a A-> AC A -> a B-> AC C -> c C-> SB B A A A C C A C c a c B S a C z = a c a a a c c a A a c S AB ACB a C B ac B acAC ac AC C acaCC aca SBC acaaBC acaaACC acaaaCC acaaacC acaaacc Tamanho da derivação = número de regras aplicadas = 13
Linguagem gerada por uma Gramática Livre do Contexto • G = gramática livre do contexto • L(G) = {w Σ* | existe uma derivação de w usando as regras da gramática G}