Gramáticas Livres do Contexto Revisão

1. Gramáticas Livres do ContextoRevisão Teoria da Computação Pós-Graduação em Ciência da Computação Profa. Sandra de Amo

2. 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

3. 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 ….

4. 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 ?

5. 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

6. 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

7. 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}