Gramáticas Livres do Contexto Revisão

Apresentação em tema: "Gramáticas Livres do Contexto Revisão"— Transcrição da apresentação:

1 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

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
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
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 S B a a A C 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 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

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}