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 w = string de variáveis e terminais u = string de variáveis e terminais
Diferença entre gramáticas e autômatos 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 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 S B a a A C 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 S B a z = a c a a a c c a A C 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}