Formas Normais

Gramáticas Adaptadas para Análise Sintática por Pesquisa Geral.

• Formas Normais
  • Introdução
  • Conteúdo
    • 1. Símbolo Inicial Não Recursivo
    • 2. Eliminação de Produções Vazias
    • 3. Eliminação de Produções Unitárias
    • 4. Eliminação de Símbolos Inúteis
    • 5. Forma Normal de Chomsky
    • 6. Forma Normal de Greibach
      • Construção de uma GIC na FNG
    • Processo de Normalização de uma Gramática
  • Conclusão

Introdução

A análise sintática é representada como um problema de pesquisa em grafos orientados que, em geral, pode ser resolvido por quatro estratégias diferentes: (ascendente ou descendente) x (largura ou profundidade). Nenhuma destas estratégias gerais é eficiente.

Nesta secção é apresentado um processo (a normalização de uma gramática) que, numa sequência de passos, transforma numa gramática noutra, equivalente, e adaptada (tanto quanto possível) aos algoritmos de pesquisa: uma forma normal.

Conteúdo

O bom funcionamento (mínimo número de passos) da pesquisa no grafo de uma GIC depende da própria gramática.

Problemas como:

• Pesquisas infinitas quando a palavra não é derivada pela gramática.
• Exploração repetida de ramos quando a gramática é ambígua.

reduzem significativamente o desempenho da pesquisa.

Em certos caso é possível transformar a gramática dada noutra equivalente mas que "favorece" a pesquisa, reduzindo o número de ramificações, desambiguando, e/ou detetando "cedo" se a palavra não é gerada pela gramática.

Esta secção descreve um processo algorítmico de transformação de gramáticas. No fim a gramática que se obtém proporciona pesquisas gerais mais eficientes.

Todo este processo vai ser ilustrado com um exemplo de uma GIC (especialmente desenhada) para ilustrar a aplicação de cada passo:

$$\begin{array}{rl}{G}^0=& \left(\left\{L,M,N,O\right\},\left\{a,b,c,d\right\},\dots ,L\right)\\ & \begin{array}{rl}L& \to Mb|aLb|\lambda \\ M& \to Lb|MLN|\lambda \\ N& \to NaN|NbO\\ O& \to cO|\lambda \end{array}\end{array}$$

1. Símbolo Inicial Não Recursivo

A recursividade é a "vantagem" das GIC sobre as ER, mas é também, uma fonte de dificuldades. Embora não seja desejável, nem sequer possível, remover completamente a recursividade das produções de uma GIC esta pode ser, em certos casos, controlada.

Símbolo Inicial Não Recursivo. Seja $G=\left(V,\Sigma ,P,S\right)$ uma GIC. Existe uma GIC $G^{\prime }=\left(V^{\prime },\Sigma ,P^{\prime },S^{\prime }\right)$ equivalente a $G$ e onde o símbolo inicial não é recursivo.

Porque:

• Se o símbolo inicial de $G$ não for recursivo então $G^{\prime }=G$.
• Se o símbolo inicial de $G$ for recursivo então, fazendo $S^{\prime }$ uma variável nova:

$$G^{\prime }=\left(V\cup \left\{S^{\prime }\right\},\Sigma ,P\cup \left\{S^{\prime }\to S\right\},S^{\prime }\right).$$

Exemplo. Em $G^0$ o símbolo inicial é recursivo porque $L\to aLb$ é uma produção de $G^0$. Portanto esta gramática é transformada em

$$\begin{array}{rl}{G}^1=& \left(\left\{L^{\prime },L,M,N,O\right\},\left\{a,b,c,d\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to L\\ L& \to Mb|aLb|\lambda \\ M& \to Lb|MLN|\lambda \\ N& \to NaN|NbO\\ O& \to cO|\lambda \end{array}\end{array}$$

Em $G^1$ o símbolo inicial já não é recursivo. Além disso, $L\left(G^0\right)=L\left(G^1\right)$.

2. Eliminação de Produções Vazias

Antes de tratar do segundo passo na normalização de uma gramática é necessário definir alguns conceitos e técnicas.

Quase todas as produções "aumentam" o tamanho da palavra. Por exemplo $A\to bB$ faz com que $aAa$ passe para $abBa$, isto é de comprimento três para quatro. E esta é uma propriedade desejável pois permite cortar "filhos demasiado grandes" durante a pesquisa.

Há duas exceções de nota: as produções vazias $A\to \lambda$ e as produções unitárias $A\to B$. Formalmente:

Produções Vazias. Produções Unitárias. Gramática Contraível. Seja $G=\left(V,\Sigma ,P,S\right)$ uma GIC.

• Uma produção vazia tem a forma $A\to \lambda$.
• Uma produção unitária tem a forma $A\to B$.
• O conjunto dos geradores da palavra vazia é $$\Lambda =\left\{A\in V:A\stackrel{\ast }{\Rightarrow }\lambda \right\}.$$
• Numa gramática não contraível não existem geradores da palavra vazia. Isto é $\Lambda =\varnothing$.
• Numa gramática essencialmente não contraível o único gerador de vazio é o símbolo inicial. Isto é $\Lambda =\left\{S\right\}$.

O interesse das gramáticas essencialmente não contraíveis é que:

Numa gramática essencialmente não contraível os passos intermédios de uma derivação só podem diminuir de tamanho por aplicação de $S\to \lambda$.

Não é possível, nem desejável, descartar completamente os geradores de vazio. Por exemplo, se $\lambda \in L\left(G\right)$ então em qualquer gramática equivalente a $G$ tem de existir pelo menos uma produção vazia. Neste caso, o melhor que se pode fazer é "concentrar" todas as produções vazias em $S\to \lambda$.

A transformação de uma gramática noutra equivalente envolve a introdução de novas produções e a substituição de uma produção por outras, de forma a manter a linguagem gerada.

Introdução de Produções. Substituição de Produções. Seja $G=\left(V,\Sigma ,P,S\right)$ uma CIG.

• Se $A\stackrel{\ast }{\Rightarrow }u$ então $G^{\prime }=\left(V,\Sigma ,P\cup \left\{A\to u\right\},S\right)$ é equivalente a $G$.
• Se $A\to uBv\in P$ e $B\to w_1|w_2|\cdots |w_n$ são todas as produções de $B$ então a gramática $G^{\prime }=\left(V,\Sigma ,P^{\prime },S\right)$ em que $$P^{\prime }=P\setminus \left\{A\to uBv\right\}\cup \left\{A\to u{w}_{1}v|u{w}_{2}v|\cdots |u{w}_{n}v\right\}$$ é equivalente a $G$.

Intuitivamente, estas duas regras permitem "saltar" passos intermédios numa derivação.

O primeiro passo para retirar as produções que reduzem o comprimento das palavras trata das produções vazias.

Eliminação de Produções Vazias. Sejam $G=\left(V,\Sigma ,P,S\right)$ uma GIC em que o símbolo inicial não é recursivo. e $G^{\prime }=\left(V,\Sigma ,P^{\prime },S\right)$ em que as produções são, em conjunto:

• As produções de $P$ que não são produções da palavra vazia.
• A produção $S\to \lambda$ se $\lambda \in L\left(G\right)$.
• Todas as produções que se obtêm eliminando um ou mais símbolos de $\Lambda$ do corpo $w$ de cada produção $A\to w$, desde que o resultado, $w^{\prime }$, tenha pelo menos um símbolo.

Então $G^{\prime }$ é equivalente a $G$ e essencialmente não contraível.

Exemplo. Na gramática $G^1$ o símbolo inicial não é recursivo. Além disso, os seus geradores da palavra vazia são $$\Lambda =\left\{L^{\prime },L,M,O\right\}.$$

A gramática $G^2$, que resulta de $G^1$ por eliminação das produções vazias é:

$$\begin{array}{rl}{G}^2=& \left(\left\{L^{\prime },L,M,N,O\right\},\left\{a,b,c,d\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to L|\lambda \\ L& \to Mb|b|aLb|ab|\xcancel{\lambda }\\ M& \to Lb|b|MLN|LN|MN|N|\xcancel{\lambda }\\ N& \to NaN|NbO|Nb\\ O& \to cO|c|\xcancel{\lambda }\end{array}\end{array}$$

Note-se que:

1. Foram retiradas as produções $L\to \lambda$ e $M\to \lambda$.
2. Como $\lambda \in L\left(G^1\right)$, foi acrescentada $L^{\prime }\to \lambda$.
3. De cada produção em cujo corpo ocorrem geradores da palavra vazia foram acrescentadas variantes sem esses símbolos. Por exemplo:
   1. Em $L\to Mb$ no corpo, $Mb$, ocorre $M\in \Lambda$. Portanto é acrescentada a produção $L\to b$, que resulta de $Mb$ removendo $M$.
   2. Mais interessante, no corpo da produção $M\to MLN$ tanto $M$ como $L$ são geradores da palavra vazia. As combinações possíveis sem algum desses elementos são $LN,MN,N$.

Sem os cálculos auxiliares:

$$\begin{array}{rl}{G}^2=& \left(\left\{L^{\prime },L,M,N,O\right\},\left\{a,b,c,d\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to L|\lambda \\ L& \to Mb|b|aLb|ab\\ M& \to Lb|b|MLN|LN|MN|N\\ N& \to NaN|NbO|Nb\\ O& \to cO|c\end{array}\end{array}$$

3. Eliminação de Produções Unitárias

As produções unitárias substituem uma variável por outra variável e podem ser eliminadas usando cadeias.

Cadeia. Seja $G=\left(V,\Sigma ,P,S\right)$ uma GIC essencialmente não contraível.

Para cada $A\in V$, a cadeia de $A$ é o conjunto $\text{cadeia}\left(A\right)=\left\{B\in V:A\stackrel{\ast }{\Rightarrow }B\right\}$.

Qualquer gramática $G^{\prime }=\left(V,\Sigma ,\dots ,S\right)$ cujas produções $A\to w$ são tais que:

1. $w\notin V$.
2. Existe $B\in \text{cadeia}\left(A\right)$ tal que $B\to w\in P$.

é equivalente a $G$.

Este enunciado pode ser difícil de interpretar. O primeiro ponto afirma que na gramática $G^{\prime }$ não existem produções unitárias. O segundo ponto permite substituir a produção unitária $A\to B$ por $A\to w$ para cada $B\to w$.

Exemplo. As cadeias de $G^2$ são

$$\begin{array}{ll}A\in V& \text{cadeia}\left(A\right)\\ L^{\prime }& L^{\prime },L\\ L& L\\ M& M,N\\ N& N\\ O& O\end{array}$$

e as produções unitária são $L^{\prime }\to L$ e $M\to N$. As respetivas substituições são:

• de $L^{\prime }\to L$, dado que $L\to Mb|b|aLb|ab$: $L^{\prime }\to Mb|b|aLb|ab$.
• de $M\to N$, dado que $N\to NaN|NbO|Nb$: $M\to NaN|NbO|Nb$.

A gramática que se obtém, equivalente a $G^2$, é:

$$\begin{array}{rl}{G}^3=& \left(\left\{L^{\prime },L,M,N,O\right\},\left\{a,b,c,d\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to Mb|b|aLb|ab|\lambda \\ L& \to Mb|b|aLb|ab\\ M& \to Lb|b|MLN|LN|MN|NaN|NbO|Nb\\ N& \to NaN|NbO|Nb\\ O& \to cO|c\end{array}\end{array}$$

4. Eliminação de Símbolos Inúteis

A definição de linguagem gerada pela GIC $G=\left(V,\Sigma ,P,S\right)$ é $$L\left(G\right)=\left\{p\in {\Sigma }^{\ast }:S\stackrel{\ast }{\Rightarrow }p\right\}$$

Uma inspeção rápida a $N\to NaN|NbO|Nb$ mostra que a recursividade desta variável impede-a de gerar palavras só de terminais. Portanto, em termos de linguagem gerada, este é um símbolo que pode ser retirado da gramática. Também podem ser retirados os símbolos que não podem ser atingidos a partir do símbolo inicial.

Símbolo Útil. Símbolo Acessível. Gramática Limpa. Seja $G=\left(V,\Sigma ,P,S\right)$ uma GIC.

Um símbolo $x\in V\cup \Sigma$ é:

• Útil se existe uma derivação $S\stackrel{\ast }{\Rightarrow }uxv\stackrel{\ast }{\Rightarrow }p\in {\Sigma }^{\ast }$.
• Inútil se não é útil.
• Acessível se existe uma derivação $S\stackrel{\ast }{\Rightarrow }uxv$.
• Inacessível se não é acessível.

Uma variável $A\in V$ é:

• Produtiva se $A\stackrel{\ast }{\Rightarrow }p\in {\Sigma }^{\ast }$.
• Improdutiva se não é produtiva.

Uma variável é útil se e só se for acessível e produtiva.

Uma gramática sem símbolos inúteis e inacessíveis diz-se limpa (ou reduzida).

Para limpar uma gramática de símbolos inúteis e inacessíveis:

1. Eliminar as variáveis improdutivas:
   1. Encontrar as variáveis produtivas (por exemplo, derivando delas uma palavra só de terminais).
   2. Remover as produções onde ocorrem as variáveis improdutivas.
2. Eliminar as variáveis inacessíveis:
   1. Encontrar os símbolos acessíveis (por exemplo, fazendo uma derivação a partir do símbolo inicial onde o símbolo ocorra).
   2. Remover as produções das variáveis inacessíveis.

Exemplo. Como foi observado acima, $N$ é inútil. Portanto as produções onde $N$ ocorre podem ser removidas. As novas produções são:

$$\begin{array}{rl}{L}^{\prime }& \to Mb|b|aLb|ab|\lambda \\ L& \to Mb|b|aLb|ab\\ M& \to Lb|b|\xcancel{MLN}|\xcancel{LN}|\xcancel{MN}|\xcancel{NaN}|\xcancel{NbO}|\xcancel{Nb}\\ \xcancel{N}& \xcancel{\to NaN|NbO|Nb}\\ O& \to cO|c\end{array}$$

Como resultado destas remoções $O$ deixou de ser acessível: Nenhuma derivação $L^{\prime }\stackrel{\ast }{\Rightarrow }\cdots$ "contém" $O$. Portanto, também as produções de $O$ podem ser removidas e o resultado é:

$$\begin{array}{rl}{G}^4=& \left(\left\{L^{\prime },L,M\right\},\left\{a,b\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to Mb|b|aLb|ab|\lambda \\ L& \to Mb|b|aLb|ab\\ M& \to Lb|b\end{array}\end{array}$$

Note-se que, removendo as produções de $O$, o terminal $c$ ficou inacessível, pelo que foi retirado de $\Sigma$, tal como $d$, que nunca constou nas produções.

Finalmente, é fácil de verificar que $L^{\prime },L$ e $M$ são produtivos e acessíveis. Também $a$ e $b$ são acessíveis.

Numa gramática limpa todos os símbolos "contam". Além disso, e de se ter tratado das produções vazias e unitárias, pouco se fez para melhorar o processo de pesquisa no grafo da gramática. Para esse efeito é preciso "controlar a forma" das produções.

5. Forma Normal de Chomsky

O corpo das produções de uma CIG é uma palavra de ${\left(V\cup \Sigma \right)}^{\ast }$, pelo que pode ter vários terminais e variáveis misturados. Aqui pretende-se "arrumar" as formas possíveis que as produções podem ter.

Forma Normal de Chomsky (FNC). Uma GIC $G=\left(V,\Sigma ,P,S\right)$ está na forma normal de Chomsky se cada uma das suas produções tem uma das formas seguintes:

1. $A\to BC$ com $B,C\in V\setminus \left\{S\right\}$.
2. $A\to a$ com $a\in \Sigma$.
3. $S\to \lambda$.

A forma normal de Chomsky é bastante fácil de obter, substituindo terminais "inconvenientes" por variáveis e usando novas variáveis para "agrupar" cadeias três ou mais símbolos.

Exemplo. Na gramática

$$\begin{array}{rl}{G}^4=& \left(\left\{L^{\prime },L,M\right\},\left\{a,b\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to Mb|b|aLb|ab|\lambda \\ L& \to Mb|b|aLb|ab\\ M& \to Lb|b\end{array}\end{array}$$

acrescentam-se $A\to a$ e $B\to b$ para retirar estes terminais das outras produções: $$\begin{array}{rl}{L}^{\prime }& \to MB|b|ALB|AB|\lambda \\ L& \to MB|b|ALB|AB\\ M& \to LB|b\\ A& \to a\\ B& \to b\end{array}$$

Para se obter a FNC ainda falta tratar das produções $L^{\prime }\to ALB$ e $L\to ALB$. Para tal acrescenta-se a produção $X\to LB$ e substitui-se $L^{\prime },L\to AX$. O resultado final é:

$$\begin{array}{rl}{G}^5=& \left(\left\{L^{\prime },L,M,A,B,X\right\},\left\{a,b\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to MB|b|AX|AB|\lambda \\ L& \to MB|b|AX|AB\\ M& \to LB|b\\ A& \to a\\ B& \to b\\ X& \to LB\end{array}\end{array}$$

6. Forma Normal de Greibach

Uma forma de reduzir o número de ramificações durante a pesquisa consiste em "olhar para o próximo símbolo" da palavra e escolher apenas produções que colocam esse símbolo no início.

Por exemplo, dadas a GIC $S\to aA|bB;A\to aA|\lambda ;B\to bB|\lambda$ e a palavra $aa$, é simples de ver que a única derivação possível é $S\stackrel{S\to aA}{\Rightarrow }aA\stackrel{A\to aA}{\Rightarrow }aaA\stackrel{A\to \lambda }{\Rightarrow }aa$ porque em cada passo há só um candidato possível.

Neste caso, em cada passo da pesquisa é muito simples descartar todos os candidatos que não começam pelo terminal correto. Esta observação motiva a seguinte definição:

Forma Normal de Greibach (FNG). Uma GIC $G=\left(V,\Sigma ,P,S\right)$ está na forma normal de Greibach se cada uma das suas produções tem uma das formas seguintes:

1. $A\to a{B}_1{B}_2\cdots B_n$ com $a\in \Sigma ,B_i\in V\setminus \left\{S\right\},i\in 1\dots n$.
2. $A\to a$ com $a\in \Sigma$.
3. $S\to \lambda$.

Note-se que, em relação à forma normal de Chomsky, a única diferença na primeira forma das produções: $A\to a{B}_1{B}_2\cdots B_n$ em vez de $A\to BC$.

As gramáticas na FNG são úteis para:

• evitar recursões infinitas nos algoritmos de pesquisa.
• guiar (com o primeiro símbolo) a escolha das regras a expandir.
• produzir AP equivalente à gramática dada.

Construção de uma GIC na FNG

Ao contrário da construção da FNC, que é simples de obter, a construção de uma GIC na FNG requer alguma orientação.

Construção da FNG. Dada uma GIC $G=\left(V,\Sigma ,P,S\right)$ na FNC:

1. Ordenar as variáveis. Define-se uma ordem total nas variáveis de $G$ com uma única condição: $S$ é o primeiro elemento.
2. Passo Descendente. Segue-se essa ordem para transformar todas as produções de modo que, se $A\to Bp,B\in V,p\in {\left(V\cup \Sigma \right)}^{\ast }$ então $A<B$.
3. Passo Ascendente. Segue-se essa ordem invertida para substituir cada produção $A\to Bp$ por $A\to qp$ para cada produção $B\to q,q\in {\left(V\cup \Sigma \right)}^{\ast }$.

Exemplo. Continuando com $G^5$, que está na FNC:

$$\begin{array}{rl}{L}^{\prime }& \to MB|b|AX|AB|\lambda \\ L& \to MB|b|AX|AB\\ M& \to LB|b\\ A& \to a\\ B& \to b\\ X& \to LB\end{array}$$

Ordenar as variáveis. A única condição é "$L^{\prime }$ é o primeiro elemento". Por exemplo $$L^{\prime }<X<B<A<L<M.$$

Passo Descendente. Ordenar as produções seguindo essa ordem.

$$\begin{array}{rlr}{L}^{\prime }& \to MB|b|AX|AB|\lambda & L<M,A\\ X& \to LB& X<L\\ B& \to b& \\ A& \to a& \\ L& \to MB|b|AX|AB& L<M;L\nless A\\ M& \to LB|b& M\nless L\end{array}$$

As produções de $L$ e de $M$ não verificam a condição do passo descendente. No caso de $L$ esse problema resolve-se facilmente substituindo o $A$ no início da produções de $L$ por $a$ (porque $A\to a$).

$$\begin{array}{rlr}{L}^{\prime }& \to MB|b|AX|AB|\lambda & L<M,A\\ X& \to LB& X<L\\ B& \to b& \\ A& \to a& \\ L& \to MB|b|\underline{a}X|\underline{a}B& L<M\\ M& \to LB|b& M\nless L\end{array}$$

Resta o problema com a produção $M\to LB$. Segue-se também o método anterior:

$$\begin{array}{rlr}{L}^{\prime }& \to MB|b|AX|AB|\lambda & L<M,A\\ X& \to LB& X<L\\ B& \to b& \\ A& \to a& \\ L& \to MB|b|aX|aB& L<M\\ M& \to \underline{MB}B|\underline{b}B|\underline{aX}B|\underline{aB}B|b& M\nless M\end{array}$$

Só que desta vez o problema não ficou resolvido e resultou numa Recursão Direta à Esquerda da variável $M$.

Eliminação da Recursividade Direta à Esquerda. Se

$$A\to A{x}_1|\cdots |A{x}_n|y_1|\cdots |y_m$$

são as produções de $A$, organizadas de forma que:

• Cada $A{x}_1,\dots ,A{x}_n$ começa por $A$ e
• Nenhuma $y_1,\dots ,y_m$ começa por $A$.

Então obtém-se uma gramática equivalente:

1. Acrescentando uma nova variável, por exemplo $Z$.
2. Substituindo as produções de $A$ por

$$\begin{array}{rl}A& \to y_{1}Z|\cdots |y_{m}Z|y_1|\cdots |y_m\\ Z& \to x_{1}Z|\cdots |x_{n}Z|x_1|\cdots |x_n\end{array}$$

Uma mnemónica para este processo é a seguinte:

Substituir $A\to Ax|y$ por $A\to yZ|y$ e $Z\to xZ|x$.

Intuitivamente percebe-se porque esta substituição é válida observando que a linguagem gerada por $A\to Ax|y$ é: $$y,yx,yxx,yxxx,\dots ,y{x}^n,\dots$$

Agora, outra forma de descrever esta linguagem é "Um $y$ seguido de zero ou mais $x$." Neste caso:

• $Z\to xZ|x$ gera um ou mais $x$.
• $A\to yZ|y$ gera um $y$ seguido de zero ou um $Z$.

A eliminação da RDE de

$$\stackrel{A}{\overbrace{M}}\to \stackrel{A}{\overbrace{M}}\stackrel{x_1}{\overbrace{BB}}|\stackrel{y_1}{\overbrace{bB}}|\stackrel{y_2}{\overbrace{aXB}}|\stackrel{y_3}{\overbrace{aBB}}|\stackrel{y_4}{\overbrace{b}}$$

define as produções

$$\begin{array}{rlrl}M& \to bBZ|aXBZ|aBBZ|bZ& & |bB|aXB|aBB|b\\ Z& \to BBZ& & |BB\end{array}$$

pelo que a ordem inicialmente definida para as variáveis tem de ser estendida de forma que $Z<B$. Por exemplo:

$$L^{\prime }<X<Z<B<A<L<M.$$

A nova gramática equivalente fica:

$$\begin{array}{rlr}{L}^{\prime }& \to MB|b|AX|AB|\lambda & L<M,A\\ X& \to LB& X<L\\ Z& \to BBZ|BB& Z<B\\ B& \to b& \\ A& \to a& \\ L& \to MB|b|aX|aB& L<M\\ M& \to bBZ|aXBZ|aBBZ|bZ|bB|aXB|aBB|b& \end{array}$$

No fim do passo descendente cada produção ou é vazia ou começa por um terminal ou começa por uma variável "mais abaixo".

Passo Ascendente. Substituir, "de baixo para cima" a primeira variável de cada produção:

$$\begin{array}{rl}{L}^{\prime }& \to \underset{MB}{\underbrace{bBZB|aXBZB|aBBZB|bZB|bBB|aXBB|aBBB|bB}}|b|\underset{AX}{\underbrace{aX}}|\underset{AB}{\underbrace{aB}}|\lambda \\ X& \to \underset{LB}{\underbrace{bBZBB|aXBZBB|aBBZBB|bZBB|bBBB|aXBBB|aBBBB|bBB|bB|aXB|aBB}}\\ Z& \to \underset{BBZ}{\underbrace{bBZ}}|\underset{BB}{\underbrace{bB}}\\ B& \to b\\ A& \to a\\ L& \to \underset{MB}{\underbrace{bBZB|aXBZB|aBBZB|bZB|bBB|aXBB|aBBB|bB}}|b|aX|aB\\ M& \to bBZ|aXBZ|aBBZ|bZ|bB|aXB|aBB|b\end{array}$$

Sem anotações, a GIC final, $$\begin{array}{rl}{G}^6=& \left(\left\{L^{\prime },L,M,A,B,X,Z\right\},\left\{a,b\right\},\dots ,L^{\prime }\right)\\ & \begin{array}{rl}{L}^{\prime }& \to bBZB|aXBZB|aBBZB|bZB|bBB|aXBB|aBBB|bB|b|aX|aB|\lambda \\ X& \to bBZBB|aXBZBB|aBBZBB|bZBB|bBBB|aXBBB|aBBBB|bBB|bB|aXB|aBB\\ Z& \to bBZ|bB\\ B& \to b\\ A& \to a\\ L& \to bBZB|aXBZB|aBBZB|bZB|bBB|aXBB|aBBB|bB|b|aX|aB\\ M& \to bBZ|aXBZ|aBBZ|bZ|bB|aXB|aBB|b\end{array}\end{array}$$ está na Forma Normal de Greibach e é equivalente à GIC inicial $$\begin{array}{rl}{G}^0=& \left(\left\{L,M,N,O\right\},\left\{a,b,c,d\right\},\dots ,L\right)\\ & \begin{array}{rl}L& \to Mb|aLb|\lambda \\ M& \to Lb|MLN|\lambda \\ N& \to NaN|NbO\\ O& \to cO|\lambda \end{array}\end{array}$$

Embora $G^6$ tenha muito mais produções do que $G^0$ e ainda por cima aparentemente redundantes (mas não o são) o facto de $G^6$ estar na FNG torna-a mais adequada e eficiente do que $G^0$ em termos de pesquisa. Por exemplo:

• A derivação de uma palavra com $n$ símbolos tem, no máximo, $n$ passos porque cada produção "produz" um terminal.
• O primeiro símbolo "filtra" as possíveis produções aplicáveis.
• A pesquisa de uma palavra não gerada pela GIC, $p\notin L$, "falha cedo", no máximo em $\left|p\right|$ passos.

Ver o exemplo no código deste capítulo.

Processo de Normalização de uma Gramática

Resumindo todos os passos, a normalização de uma GIC consiste em:

1. Eliminar a recursividade do símbolo inicial.
2. Eliminar as produções vazias exceto, se necessário, do símbolo inicial.
3. Eliminar as produções unitárias.
4. Eliminar os símbolos inúteis.
5. Transformar na Forma Normal de Chomsky.
6. Transformar na Forma Normal de Greibach.

Conclusão

O problema da Análise Sintática, que se está a tentar resolver, é uma reformulação do Problema Principal de ALP para as GIC e pergunta "como determinar se $p\in L$" quando $p$ é uma palavra/programa e $L$ é uma linguagem gerada por uma gramática independente de contexto.

Inicialmente tentou-se formalizar as linguagens $L$ usando expressões regulares mas o Pumping Lemma mostrou a necessidade de uma abordagem mais geral — as gramáticas independentes de contexto.

Embora as GIC resolvam a adequação (com as expressões algébricas) e os autómatos de pilha proporcionem um modelo computacional, este não é eficiente.

A Normalização de uma GIC é um processo que começa com uma GIC e que, ao longo de vários passos, produz outras GIC equivalentes, de forma a obter-se uma gramática "adequada" aos algoritmos de pesquisa geral. A Forma Normal de Greibach impõe restrições fortes às produções, que podem ser bem aproveitadas para reduzir a complexidade/ramificação da pesquisa.

Mesmo com a FNG a ajudar na pesquisa, a resposta a "$p\in L$" ainda permite ramificações ao pesquisar a árvore das derivações. Portanto o problema do não determinismo persiste e, com ele, a eficiência fica por resolver.

Os algoritmos deterministas são o próximo assunto e assentam, tanto quanto possível, nas propriedades das gramáticas e das derivações.