Lemas (Sudkamp) .

Lemas (Sudkamp)

Eliminação da Recursão sobre S (exemplo)
S → Sa S → aS

Eliminação da Recursão sobre S (exemplo)
S’ → S S → Sa S → aS Acrescenta-se uma nova produção. Agora S’ é o símbolo inicial.

Eliminação Regras – ε Determinar o conjunto de variáveis anuláveis.
Adição de regras em que ocorrências de variáveis são omitidas. Deleção das regras- ε. A → ε B → A C → AB (A, B e C são anuláveis)

Determinar o conjunto de variáveis anuláveis

Eliminação Regras – ε Para cada regra A → w
w= w1A1w2A2... wrAxwr+1 Se A1...AX forem anuláveis (todas as possibilidades) acrescentar a regra: A → w1w2... wrwr+1 Remover todas regras – ε menos S → ε

Eliminação Regras – ε (exemplo 1)
S → ACA A → aAa|B|C B → bB|b C → cC|ε

S → ACA A → aAa|B|C B → bB|b C → cC|ε Variáveis Anuláveis: NULL={C...

S → ACA A → aAa|B|C B → bB|b C → cC|ε Variáveis Anuláveis: NULL={C, A...

S → ACA A → aAa|B|C B → bB|b C → cC|ε Variáveis Anuláveis: NULL={C, A, S}.

S → ACA|ACA|ACA|ACA|ACA|ACA|ACAε A → aAa|B|C|aAa|Cε B → bB|b C → cC|ε|cC Adição de regras em que a ocorrência de variáveis anuláveis são reduzidas...

S → ACA|CA|AA|AC|A|C|ε A → aAa|B|C|aa|ε B → bB|b C → cC|ε|c

S → ACA|CA|AA|AC|A|C|ε A → aAa|B|C|aa|ε B → bB|b C → cC|ε|c Deleção das regras ε, menos S → ε

S → ACA|CA|AA|AC|A|C|ε A → aAa|B|C|aa B → bB|b C → cC|c Resultado

S → ABC A → aA|ε B → bB|ε C → cC|ε

S → ABC A → aA|ε B → bB|ε C → cC|ε Variáveis Anuláveis: NULL={A,B,C,S}.

S → ABC|ABC|ABC|ABC|ABC|ABC|ABC|ABCε A → aA|ε|aA B → bB|ε|bB C → cC|ε|cC Adição de regras em que a ocorrência de variáveis anuláveis são reduzidas

S → ABC|BC|AC|AB|A|B|C|ε A → aA|ε|a B → bB|ε|b C → cC|ε|c

S → ABC|BC|AC|AB|A|B|C|ε A → aA|ε|a B → bB|ε|b C → cC|ε|c Deleção das regras ε, menos S → ε

S → ABC|BC|AC|AB|A|B|C|ε A → aA|a B → bB|b C → cC|c Resultado

Regra Unitária A → B (renomear uma variável)
Adicionar A → w para cada B → w Remover A → B

Regra Unitária em Cadeia

Eliminação de Regras em cadeia (exemplo 1)
A → aA|a|B B → bB|b|c CHAIN(A) = {A,B} CHAIN(B) = {B}

A → aA|a|B|bB|b|c B → bB|b|c Adiciona A → w para cada regra B → w Remover A → B

A → aA|a|bB|b|c B → bB|b|c Resultado

S → ACA|CA|AA|AC|A|C|ε A → aAa|B|C|aa B → bB|b C → cC|c CHAIN(C)={C} CHAIN(B)={B} CHAIN(A)={A,B,C} CHAIN(S)={S,A,B,C}

S → ACA|CA|AA|AC|A|C|ε|aAa|aa|bB|b|cC|c A → aAa|B|C|aa|bB|b|cC|c B → bB|b C → cC|c CHAIN(C)={C} CHAIN(B)={B} CHAIN(A)={A,B,C} CHAIN(S)={S,A,B,C}

S → ACA|CA|AA|AC|ε|aAa|aa|bB|b|cC|c A → aAa|aa|bB|b|cC|c B → bB|b C → cC|c Resultado

Remoção de Símbolos Inúteis
Um símbolo é útil se produz uma sentença (só terminal) e pode ser gerado a partir da variável inicial. Variáveis que geram terminais: A com regra A → w onde w só tem terminais. A com regra A → w onde w só tem terminais e/ou geradores de sentenças Remover as produções com variáveis que não geram sentenças.

Remoção de Símbolos Inúteis
Variáveis alcançáveis a partir de S S é alcançável. A, tal que tenha regra C → uAv e C é alcançável. Remover todas as produções com símbolos não alcançáveis.

Eliminação de Símbolos Inúteis (exemplo)
S → aA|Bb|CX Y →De A →DB B →DD D →d X →CD C →cX

S → aA|Bb|CX Y →De A →DB B →DD D →d X →CD C →cX Variáveis geradoras de Sentenças: D,...

S → aA|Bb|CX Y →De A →DB B →DD D →d X →CD C →cX Variáveis geradoras de Sentenças: D, Y, B...

S → aA|Bb|CX Y →De A →DB B →DD D →d X →CD C →cX Variáveis geradoras de Sentenças: D, Y, B, A e S.

S → aA|Bb|CX Y →De A →DB B →DD D →d X →CD C →cX Remover produções com variáveis que não geram terminais.

S → aA|Bb Y →De A →DB B →DD D →d Alcançáveis a partir de S: S, A, B...

S → aA|Bb Y →De A →DB B →DD D →d Alcançáveis a partir de S: S, A, B e D.

S → aA|Bb Y →De A →DB B →DD D →d Remover produções não alcançáveis.

S → aA|Bb A →DB B →DD D →d Resultado

Formas Normais Forma de Chomsky A → ε A → a A → BC
Forma de Greibach A → ε A → a A → aBCDF...

Forma de Chomsky (exemplo)
A → bDcF

A → B’DC’F B’ → b C’ → c Criar variáveis para os terminais

A → B’T1 B’ → b C’ → c T1 →DC’F Transformar em dicotomias...

A → B’T1 B’ → b C’ → c T1 →DT2 T2 →C’F Resultado

Remoção da recursão a esquerda Direta
A → Aa|b A → bZ|b Z → aZ|a

Remoção da recursão a esquerda Direta (exemplo)
A → Aaaa |Abbb |Accc A → xxx |yyy |zzz

Remoção da recursão a esquerda indireta (exemplo)
A → a|Bb B →bb|Cx C →x|Aaa Atribui-se números as variáveis: #A=1 #B=2 #C=3 (ordem alfabética)

A → a|Bb B →bb|Cx C →x|Aaa Identificar produções V2 →V1 onde #V2 >= #V1

A → a|Bb B →bb|Cx C →x|Aaa|aaa|Bbaa Usar lema 413

A → a|Bb B →bb|Cx C →x|Aaa|aaa|Bbaa

Lemas (Sudkamp) .

Apresentações semelhantes

Apresentação em tema: "Lemas (Sudkamp) ."— Transcrição da apresentação:

Apresentações semelhantes

Sobre projeto

Feedback

Login

Autorizar-se através da rede social:

Lemas (Sudkamp) .

Apresentações semelhantes

Apresentação em tema: "Lemas (Sudkamp) ."— Transcrição da apresentação:

Apresentações semelhantes

Sobre projeto

Feedback