COMPORT – Compilador Portugol - Nilo Menezes

ComPort – Compilador Portugol
compiladores podemos definir outros alfabetos para fins específicos. Por exemplo:
Σ={a,b} indica um alfabeto chamado Σ, com dois elementos (a e b). Utilizaremos o
símbolo Σ* para denotar todas as palavras que podem ser formadas por um alfabeto
Σ.
Entende-se por palavra uma seqüência ou cadeia de símbolos de um
alfabeto. A palavra vazia será representada por ε e utilizaremos Σ+ para denotar
todas as palavras de um alfabeto Σ, com exceção da palavra vazia. Logo, podemos
concluir que Σ+ = Σ* - { ε }. É bom lembrar que Σ = { } é um alfabeto válido, mesmo
sem possuir símbolos.
Exemplo:
Utilizando a nossa definição anterior de Σ={a,b}, teríamos Σ*={ε, a, b,
aa, bb, aaa, bbb, ...} e Σ+={a, b, aa, bb, aaa, bbb, ...}.
O comprimento de uma palavra é igual ao número de símbolos que ela
possui. Exemplo:
| a | = 1 lê-se o comprimento de “a” é 1.
| aaa | = 3 lê-se o comprimento de “aaa” é 3.
1.1.3. Gramática
Em MENEZES (2001), obtemos a definição formal de gramática:
“Uma gramática é uma quádrupla ordenada G = (V, T, P, S) onde:
V conjunto de símbolos variáveis ou não terminais;
T conjunto de símbolos terminais, disjunto de V;
P conjunto finitos de pares, denominados regras de produção;
S elemento de V denominado variável inicial.”
Na notação acima, a linguagem anterior poderia ser representada por:
G = ( { A, B, S}, { a, b, c, d }, P, S )
Onde P = { S � AB, A � a | b, B � c | d }
Desta forma podemos dizer que L é a linguagem gerada por G, ou seja,
L(G) ou simplesmente GERA(G).
Dizemos que duas gramáticas são equivalentes se e somente se as
linguagens por ela geradas forem iguais, ou seja, supondo G1 e G2 gramáticas, G1
e G2 são equivalentes se e somente se GERA(G1)=GERA(G2).
20