Protótipo tipo de um gerador de analisador léxicol

Tamanho: px

Começar a partir da página:

Download "Protótipo tipo de um gerador de analisador léxicol"

Pedro Câmara Gameiro
8 Há anos
Visualizações:

1 Protótipo tipo de um gerador de analisador léxicol Michel Nogueira Rebelo Orientando Joyce Martins Orientadora

2 Roteiro Introdução Fundamentação teórica Desenvolvimento Considerações finais

3 Introdução Origem/Motiva Motivação Área Problema Objetivos Relevância

4 Fundamentação Teórica Compiladores

5 Fundamentação Teórica Ferramentas para construção de compiladores Geradores de analisadores léxicos l (Lex) Geradores de analisadores sintáticos ticos (Yacc) Geradores de geradores de código

6 Fundamentação Teórica Analisadores léxicosl Definições Regulares letra a b.. z A B.. Z dígito identificador letra ( letra dígito _ )* Autômatos Finitos letra e0 e0 e1 Letra, digito, _

7 Fundamentação Teórica Glatz (2000) Manna (1974) Hopcroft (1979) Silva (2000)

8 Desenvolvimento do Protótipo tipo Especificação Meta-Linguagem (Definições Regulares e BNF) Diagramas Use Case (Especificação e Teste) Diagrama de Classes

9 Definições Regulares da Meta-Linguagem letra a.. z A.. Z dígito identificador letra ( _ letra dígito )* literal " ASCII+ " caracter ' ASCII ' onde ASCII representa todos os caracteres válidos da tabela ASCII, exceto os seguintes caracteres { &, (, ), *, ^, }

caracter ' ASCII ' onde ASCII representa todos os caracteres

10 BNF da Meta-Linguagem <especificação> ::= PALAVRAS RESERVADAS : <caixa> { <conjunto de literais> } SIMBOLOS ESPECIAIS : { <conjunto de literais> } TOKENS : { <conjunto de tokens> } <caixa> ::= ( CAIXA SENSÍVEL ) ε <conjunto de literais> ::= <lista de literais> ε <lista de literais> ::= literal literal, <lista de literais> <conjunto de tokens>::= <token> <token> <conjunto de tokens> <token>::= < identificador : <expressão regular> > <expressão regular>::= ( <expressão regular> ) <expressão regular'> <termo> <expressão regular'> <expressão regular'>::= <operador> <expressão regular'> <expressão regular> <expressão regular> ε <termo>::= [ <faixa> ] ~ [ <faixa> ] identificador literal caracter <operador> ::= + *? <faixa> ::= <sub-faixa> <sub-faixa>, <faixa> <sub-faixa> ::= caracter caracter.. caracter

<token>::= < identificador : <expressão regular> > <expressão regular>::= ( <expressão regular> ) <expressão regular'> <termo> <expressão regular'> <expressão regular'>::= <operador> <expressão

11 Exemplo de Especificação de Entrada

12 Diagramas Use Case Usuário Especificar tokens Usuário Utilizar a classe gerada

13 Diagrama de Classes

14 Desenvolvimento do Protótipo tipo Implementação Compilador (Coco/R) Algoritmo do Desmonte (Silva, 2000) Teste da classe no protótipo tipo (IFPS3)

15 Definições Regulares da Meta-Linguagem no Coco/R IGNORE CASE CHARACTERS Maius = CHR(65)..CHR(90). Minus = CHR(97)..CHR(122). Digit = CHR(48)..CHR(57). Aspa = CHR(39). Aspas = CHR(34). EOL = CHR(13). N1 = CHR(38). // & N2 = CHR(40). // ( N3 = CHR(41). // ) N4 = CHR(42). // * N5 = CHR(94). // ^ N6 = CHR(124). // ASCII = ANY - EOL. Def_Lit = ASCII - Aspas - N1 - N2 - N3 - N4 - N5 - N6. Def_Car = ASCII - N1 - N2 - N3 - N4 - N5 - N6. TOKENS Ident = Maius Minus { "_" Maius Minus Digit}. Literal = Aspas Def_Lit {Def_Lit} Aspas. Caracter = Aspa Def_Car Aspa. COMMENTS FROM "//" TO EOL COMMENTS FROM "/*" TO "*/" NESTED IGNORE CHR(1)..CHR(32)

$TOKENS Ident = Maius Minus { "_" Maius Minus Digit}. Literal = Aspas Def_Lit {Def_Lit} Aspas. Caracter = Aspa Def_Car Aspa.$

16 Sintax da Meta-Linguagem no Coco/R Meta_Linguagem = (. Inicializar;.) "PALAVRAS" "RESERVADAS" ":" { "(" "CAIXA" "SENSIVEL" ")" (. CaseSensitive := True;.) } "{" (. TipoLiteral := tpr;.) [Cnj_Literal] "}" "SIMBOLOS" "ESPECIAIS" ":" "{" (. TipoLiteral := tse;.) [Cnj_Literal] "}" "TOKENS" ":" "{" Cnj_Token "}" (. Finalizar;.) (...)

$) [Cnj_Literal] "}" "SIMBOLOS" "ESPECIAIS" ":" "{" (. TipoLiteral := tse;.$

17 Algoritmo Desmonte Fonte: Glatz 2000 Esp ecificaç ão de Entrada Comp ilador A FD T ransforma ER p ara o Desmonte ER Algoritmo Desmonte O P E R A D O R O U N O T A Ç Ã O E X E M P L O D E E S P E C I F IC A Ç Ã O D E E N T R A D A lite r a l a b c a bc c a ra c te r a a + a + ( a a * )? a? ( a ^ ) E S P E C I F IC A Ç Ã O T R A N S FO R M A D A ~ ~ [ # ] (! $.. to do s os ca rac te re s da ta be la A S C II ) c on fo rm e d e s c r ito n a ta b e la 2.1, m e n os o c a ra c te r # [ ] [ a.. z ] ( a b c.. z )

a ra c te r a a + a + ( a a * )? a? ( a ^ ) E S P E C I F IC A Ç Ã O T R A N S FO R M A D A ~ ~ [ # ] (! $.

18 Utilização da classe final Criar um novo projeto em Delphi Adicionar as units das classes ao projeto Declarar, instanciar e utilizar os objetos das classes TAnalisaLex,TArrayTokens TArrayTokens e TToken

projeto Declarar, instanciar e utilizar os objetos

19 Novo projeto em Delphi

20 Código do botão Executa procedure TFrmTesteClasse.BitBtnExecAnalisaLexClick(Sender: TObject); var i : Integer; Seta, Ident, DesCateg : String; NumCateg, Linha : Integer; begin Memo2.Clear; vanalisalex.texto := Memo1.Text; vanalisalex.montearraytokens; for i := 1 to vanalisalex.arraytokens.quant do begin Ident := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).Ident; DesCateg := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).DesCateg; NumCateg := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).NumCateg; Linha := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).Linha; Seta := ' ->'; Seta := Copy(Seta, Length(Ident), Length(Seta) - Length(Ident) + 1); if NumCateg <> 0 then Memo2.Lines.Add(Ident+Seta+' ('+IntToStr(NumCateg)+') '+DesCateg+' - Linha '+IntToStr(Linha)) else Memo2.Lines.Add(Ident+Seta+' ('+IntToStr(NumCateg)+') Erro: '+DesCateg+' inválido - Linha '+IntToStr(Linha)); end; end; end.

Ident; DesCateg := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).DesCateg; NumCateg := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).NumCateg; Linha := TToken(vAnalisaLex.ArrayTokens.RetornaToken(i)).Linha; Seta := ' ->'; Seta := Copy(Seta, Length(Ident), Length(Seta) - Length(Ident) + 1); if NumCateg <> 0 then Memo2.

21 Considerações Finais Resultados obtidos Potencial e utilização Dificuldades encontradas: Coco/R e IFPS3 Restrições do protótipo tipo: Símbolos Especiais Início das Definições Regulares Caracters &,, *, ^, ( e ) Extensões

Documentos relacionados

Sintaxe e Semântica. Fases da Compilação. programa fonte

Sintaxe e Semântica. Fases da Compilação. programa fonte Sintaxe e Semântica mleal@inf.puc-rio.br Fases da Compilação programa fonte tokens parse tree árvore anotada ou outra forma intermediária código intermediário código objeto código objeto otimizado scanner