Para remover a recursividade à esquerda da gramática G, podemos aplicar o seguinte procedimento: 1. Criar um novo símbolo não-terminal S' e uma nova produção S' → S* 2. Para cada produção S → Sα, onde α é uma sequência de símbolos terminais e não-terminais, criar uma nova produção S' → αS' 3. Para cada produção S → β, onde β é uma sequência de símbolos terminais e não-terminais que não começa com S, mantê-la na gramática. Aplicando esse procedimento à gramática G, obtemos a seguinte gramática sem recursividade à esquerda: G' = ({S, S'},{(,v,),*,a,b},P',S') P' = {S' → SS' | ε, S → (SvS) | (SS) | a | b} Observe que a gramática G' é equivalente à gramática G em termos de linguagem gerada. Não é necessário fazer fatoração nessa gramática, pois ela já está fatorada.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar