teoria e implementação de linguagens computacionais revisão 1º ee andré ricardo schäffer lopes...
TRANSCRIPT
![Page 1: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/1.jpg)
Teoria e Implementação de Linguagens Computacionais
Revisão 1º EE
André Ricardo Schäffer Lopes – [email protected]
Rodrigo Diego Melo Amorim– [email protected]
![Page 2: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/2.jpg)
Níveis de Linguagem
Linguagem de máquina Linguagem de alto nível Linguagem de montagem
Assembly language
![Page 3: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/3.jpg)
Processadores de Linguagens
Manipulam programas expressos em alguma linguagem de programação:
Compiladores Interpretadores
![Page 4: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/4.jpg)
Tradutores e Compiladores
TradutorLinguagem fonte -> Linguagem destino
Chinês para inglêsJava para C
CompiladorLing. de alto nível -> Ling. de baixo nível
![Page 5: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/5.jpg)
Interpretadores
Programa fonte -> executa imediatamenteLê, analisa e executa as instruções, uma
de cada vez
![Page 6: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/6.jpg)
Compiladores x Interpretadores
Compiladores Tempo de espera pela compilação Execução dos programas com máxima
performance, em linguagem de máquina
Interpretadores Resultados imediatos Execução (de linguagem de alto nível) até 100
vezes mais lenta que a versão compilada
![Page 7: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/7.jpg)
Uso de interpretadores
Programador trabalha em modo interativo Quer ver o resultado de uma instrução antes de
entrar na próxima
Execução de instruções apenas um vez, ou raramente
Programas descartáveis Em que a velocidade de execução não é tão
importante
![Page 8: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/8.jpg)
Diagramas Tombstone
Programas
Máquinas
P
L
M
![Page 9: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/9.jpg)
Diagramas Tombstone
ExecuçãoPrograma P rodando na máquina M
P
M
M
sort
PPC
PPC
sort
PPC
x86X
![Page 10: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/10.jpg)
Diagramas Tombstone
Compiladores S
L
T
![Page 11: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/11.jpg)
Diagramas Tombstone
Tradução
Um programa fonte P expresso na linguagem S -> um programa objeto expresso na linguagem T, usando um tradutor de S para T executando na máquina M?
![Page 12: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/12.jpg)
Diagramas Tombstone
Tradução
P
S
P
TS
M
T
M
![Page 13: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/13.jpg)
Diagramas Tombstone
Interpretador S
L
![Page 14: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/14.jpg)
Diagramas Tombstone
Interpretação
Um programa P expresso em uma linguagem S, usando um interpretador de S executando na máquina M?
![Page 15: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/15.jpg)
Diagramas Tombstone
S
M
P
S
M
![Page 16: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/16.jpg)
Compilação em estágios
sort
Java
sort
CJava
x86
C
x86
C
x86
x86
x86
sort
x86
![Page 17: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/17.jpg)
Cross-Compiler
Roda em uma máquina hospedeira, mas gera código para outra máquinaMáquina destino débil em memória,
compilador ou outras ferramentas
![Page 18: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/18.jpg)
Exemplo
Cross-Compiler
sort
Java
sort
PPCJava
x86
PPC
x86
sort
PPC
PPC
![Page 19: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/19.jpg)
Interpretive Compiler
Características de interpretadores e compiladores
Simples e rápido de traduzir para ela, e simples e rápida de interpretar
Exemplo: Java, no JDK
![Page 20: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/20.jpg)
Java no JDK
Java
M
JVM JVM
M
Java
M
JVM
M
JVM
M
P
JVM
M
P
Java
P
JVM
![Page 21: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/21.jpg)
Máquina Real x Abstrata
Projeto de uma nova máquina “Ultima”
P
Ultima
Ultima
M
M
P
Ultima
Ultima
![Page 22: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/22.jpg)
Bootstrapping
Compilação de uma linguagem utilizando um compilador dessa mesma linguagemUtilizado para melhorar a eficiência de um
compiladorPrecisa de um compilador escrito em outra
linguagem que depois será descartado
![Page 23: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/23.jpg)
Bootstrapping- melhorando a eficiência
Ada
Mslow
Mfast
Ada
Mslow
Mslow
Ada
Ada
Mfast
M
![Page 24: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/24.jpg)
Bootstrapping- melhorando a eficiência
Ada
Mslow
Mfast
M
P
Ada
P
Mfast
M
P
Mfast
![Page 25: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/25.jpg)
Bootstrapping- melhorando a eficiência
Ada
Mslow
Mfast
M
Ada
Ada
Mfast Ada
Mfast
Mfast
![Page 26: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/26.jpg)
Especificação de Linguagens
Sintaxe A forma do programa
Organização das frases Palavras reservadas
Semântica estática (Restrições contextuais) Regras de escopo e regras de tipo
Semântica Significado do programa
![Page 27: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/27.jpg)
O processo de Compilação
beginif x = 5 then...
1100111 0011100011
Código Fonte Compilador Programa
output+ params
![Page 28: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/28.jpg)
Fases de Compilaçãoab
stra
ção
implem
entação
Código fonte
Tokens e Lexemas
Árvoresintáticaabstrata
Códigomáquina
AST decorada
Análise Léxica
Análise SintáticaAnálise Semântica
Geração de Código
![Page 29: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/29.jpg)
Análise Léxica (Scanning)
Código fonte -> sequência de tokensSímbolos como identificadores, literais,
operadores, palavras-chave, pontuação etc.
if (n == 0) { return 1;} else { ...}
RPAR LCUR
RCUR
if LPAR
return
else
"n"id
"0"intLit
assign
"1"intLit comm
![Page 30: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/30.jpg)
Análise Sintática
Agrupa caracteres ou Tokens em uma estrutura hierárquica com algum significado
Determina se uma dada cadeia de entrada pertence ou não à linguagem definida por uma gramática
int y = 0,k = 0;int x = y+++k;
A seguinte construção é válida?
![Page 31: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/31.jpg)
Gramáticas – descrevendo Linguagens
Gramáticas Livres de Contexto são utilizadas para descrever linguagens de programação
ProduçõesSímbolos terminaisSímbolos não-terminaisSímbolo inicial
![Page 32: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/32.jpg)
Exemplo
S → S ; S
S → id := E
S → print (L)
E → id
E → num
E → E + E
E → (S , E)
L → E
L → L , E
Terminais: id print , + ; := ( ) num Não terminas: S E L Símbolo inicial: S → é utilizado na notação de
produções
A cadeia seguinte pertence à gramática?
a := 7;
b := c + (d := 5 + 6, d)
![Page 33: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/33.jpg)
Derivações
S S ; S S ; id := E id := E ; id := E id := num ; id := E id := num ; id := E + E id := num ; id := E + (S, E) id := num ; id := id + (S, E) id := num ; id := id + (id := E, E) id := num ; id := id + (id := E + E, E) id := num ; id := id + (id := E + E, id) id := num ; id := id + (id := num + E, id) id := num ; id := id + (id := num + num, id)
![Page 34: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/34.jpg)
Parse treeS
SS
E
Eid :=;
E:=id
id
+ E
)( , ES
Eid :=id
EE +
num num
num
Construída conectando cada derivação à sua origem.
Obs. Na prática não é implementada pelos compiladores.
![Page 35: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/35.jpg)
Gramática Ambígua
A partir dela uma sentença pode dar origem a mais de uma árvore de parsing diferente
Indeterminismo
Eliminação de ambigüidade
Refatoração da gramática
![Page 36: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/36.jpg)
Exemplo
x := 1 + 2 + 3;
S
Eid :=
E + E
E + E num
num num
S
Eid :=
E + E
E + Enum
num num
![Page 37: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/37.jpg)
Refatoração
S → S ; S
S → id := E
S → print (L)
E → id
E → num
E → E + E
E → (S , E)
L → E
L → L , E
S → S ; S
S → id := E
S → print (L)
E → id
E → num
E → E + T
E → T
E → (S , E)
L → E
L → L , E
![Page 38: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/38.jpg)
Parsers
Avaliam uma entrada quanto à sintaxePodem ser
Top-down Recursive-descent / LL(k)
Bottom-up LR(k)
![Page 39: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/39.jpg)
Recursive descent parser
Algoritmo baseado em previsões
Funções mutuamente recursivas
Simples implementaçãoUma função para cada não-terminalUma cláusula para cada produçãoVerifica o primeiro símbolo terminal para
decidir qual função usar
![Page 40: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/40.jpg)
Exemplo
A ::= aBcC
B ::= CB | cC
C ::= da
parseA() { accept(‘a’); parseB(); accept(‘c’); parseC();}
parseB() { case (d): parseC(); parseB(); case (c): accept(‘c’); parseC();}
parseC() { accept(‘d’); accept(‘a’); }
![Page 41: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/41.jpg)
Recursive descent parser
Na prática, constrói uma tabela de produções indexadas por não-terminais e terminais
A ::= aBcC
B ::= CB | CA
C ::= da
a c d
A A::= aBcC
B B::= CBB::= CA
C C::= da
![Page 42: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/42.jpg)
Recursive descent parser
VantagensFácil de implementarFácil de entender
DesvantagensPerformance deficienteGramática reconhecida possui restrições
Sem recursão à esquerdaDeve estar fatorada
![Page 43: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/43.jpg)
Recursive descent parser
A ::= aBcC
B ::= CB | CA
C ::= da
A ::= aBcC
B ::= CX
X ::= B | A
C ::= da
a c d
A A::= aBcC
B B::= CX
C C::= da
X X::=A X::=B
GramáticaLL(k)
![Page 44: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/44.jpg)
Parsers LL(k)
Gramáticas SEM entradas duplicadas na tabela são conhecidas como LL(k)
LL(1) -> Left-to-right, leftmost-derivation, 1-symbol lookahead Left-to-right – direção na qual os símbolos serão examinados Leftmost-derivation – ordem pela qual os símbolos não-
terminais serão expandidos 1-symbol lookahead – não mais que um símbolo será
avaliado por vez
Também existem LL(2), LL(3),... Toda LL(1) é LL(2), toda LL(2) é LL(3),... LL(k)
![Page 45: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/45.jpg)
Recursão à esquerda
Gramáticas LL(1) são vulneráveis a entradas duplicadas. Por exemplo, o fragmento a seguir:
E → E + TE → T
O fato de E aparecer no início do lado direito da produção é a causa do problema. Isso é conhecido como Recursão à Esquerda. Para corrigir, precisamos refatorar a gramática com Recursão à Direita:
E → T E´E´ → +T E´ E´ →
![Page 46: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/46.jpg)
Parsers LR(k)
Supera as fraquezas de LL(k) LR(1) -> Left-to-right, rightmost-derivation, 1-
symbol lookahead
Uso de uma pilha para armazenar símbolos de forma temporária
Possui duas operações, shift e reduce shift - move o primeiro símbolo para o topo da pilha reduce - escolhe uma regra da gramática do tipo X→A B
C. pop C B A da pilha e push X.
![Page 47: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/47.jpg)
Parsing LR- de Gramáticas Ambíguas
Gramáticas ambíguas ocasionam conflitos em parsers LR
Shift-reduce conflictO parser não consegue decidir se empilha o
próximo símbolo da entrada, ou se reduz para uma regra já disponível
Reduce-reduce conflictO parser pode realizar uma redução para duas
regras distintas
![Page 48: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/48.jpg)
Parsing LR- de Gramáticas Ambíguas
Dangling-else
if a then if b then s1 else s2
if a then { if b then s1 else s2 }
if a then { if b then s1 } else s2
?
![Page 49: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/49.jpg)
Parsing LR- de Gramáticas Ambíguas
Solução:Transformar a gramática
Introdução dos conceitos de matched e unmatched
S ::= 'if' E 'then' S 'else' SS ::= 'if' E 'then' SS ::= ...
S ::= M | U
M ::= 'if' E 'then' M 'else' M | ...
U ::= 'if' E 'then' S | 'if' E 'then' M 'else' U
![Page 50: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/50.jpg)
Análise Semântica (Contextual)
Verifica se o programa está de acordo com as restrições contextuais da linguagem fonte
Em uma linguagem com tipos estáticos e ligação estática: Verifica regras de escopo Verifica regras de tipos
Duas fases: Identificação Verificação
![Page 51: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/51.jpg)
Identificação
Faz a ligação entre uso de nomes e sua definição
Tabela de identificação (tabela de símbolos), com nome e atributos de cada identificador
Cada definição tem o seu escopo – parte do programa sobre a qual ela tem efeitoDelimitado por um bloco
![Page 52: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/52.jpg)
Estrutura de blocosde um programa
Monolítica:O único bloco é o programa inteiro
Declarações estão em um escopo globalRegras de escopo:
Nenhum identificador pode ser declarado mais de uma vez
Nenhum identificador pode ser usado sem ter sido definido
![Page 53: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/53.jpg)
Estrutura de blocosde um programa
PlanaO programa pode ser particionado em
vários blocos disjuntosDois níveis de escopo:
Escopo local: ocorrências de identificadores declarados localmente são restritos a um bloco em particular
Outras declarações têm escopo global
![Page 54: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/54.jpg)
Estrutura de blocosde um programa
Aninhada Blocos podem ser aninhados um dentro do
outroVários níveis de escopo:
Declarações no nível mais externo têm escopo global (nível 1)
Declarações dentro de um bloco interno são locais ao bloco
Cada bloco está dentro de outro bloco, com um nível a mais
![Page 55: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/55.jpg)
Passos
Travessia do programa fonteUm compilador de um passo atravessa o
programa uma única vezUm compilador de múltiplos passos faz
várias travessias
O projeto de um compilador é diretamente relacionado ao número de passos
![Page 56: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/56.jpg)
Compilação em múltiplos passos
Módulo principal (driver)Chama cada um dos passos
Driver do Compilador
Analisador Sintático Analisador Contextual Gerador de Código
![Page 57: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/57.jpg)
Compilação em passo único
Analisador sintáticoRealiza/chama as atividades à medida que
lê e reconhece o programa
Analisador Sintático
Analisador Contextual Gerador de Código
Driver do Compilador
![Page 58: Teoria e Implementação de Linguagens Computacionais Revisão 1º EE André Ricardo Schäffer Lopes – arsl@cin.ufpe.brarsl@cin.ufpe.br Rodrigo Diego Melo Amorim–](https://reader031.vdocuments.pub/reader031/viewer/2022020720/552fc141497959413d8df507/html5/thumbnails/58.jpg)
Pontos relevantesno Projeto de um Compilador
Velocidade – possível vantagem para um passo
Espaço – possível vantagem para um passo
(dados x programa) Modularidade – vantagem de múltiplos passos
Flexibilidade – vantagem de múltiplos passos
Transformações/otimizações de programas – vantagem de múltiplos passos