Projeto de Compiladores Professor Carlos de Salles

Transcrição

1 Projeto de Compildores Professor Crlos de Slles Trlho 1 Autômto pr Plvrs Reservds Ojetivo do trlho: implementr um progrm que recee como entrd um list de plvrs reservds e define como síd um função que identific esss plvrs reservds com se em um utômto finito determinístico. Exemplo de entrd: 3 this then if Autômto resultnte: i f t 4 h e n i 8 s 9 Idéi Básic: dd list de plvrs reservds como entrd, deve ser implementdo um progrm que cri um função int reserv(string word) que recee como prâmetro um string e retorn o código equivlente àquel plvr reservd (um inteiro).

2 Trlho 2 Lingugem de Árvore Ojetivo do trlho: implementr um interpretdor usndo Lex/Ycc (ou Flex/Bison) que recee como entrd um rquivo texto com um especificção de um árvore em um lingugem específic e, o finl, imprime árvore resultnte, cso el sej válid. No cso d especificção d árvore estr inválid, inform isso pr o usuário. Comndos d lingugem de árvore: left <cmd1>, <cmd 2> ; Define que suárvore que tem como riz cmd2 como filh à esquerd do nó cmd1. Exemplo: left, ; right <cmd1>, <cmd2> ; Define que suárvore que tem como riz cmd2 como filh direit do nó cmd2. Exemplo: right, ; node <root>, <cmd1>, <cmd2> ; Define que o nó root é pi à esquerd de cmd1 e pi à direit de cmd2. Exemplo: node,, c; c Os comndos são recursivos e ssocitivos à esquerd, o que signific, por exemplo, que um comndo como left right,, c; é válido e equivlente node,, c;.

3 Exemplo de especificção n lingugem de árvore: left d, f; right e, g; right, d; left c, e; node,, c; Árvore resultnte dess especificção: c d e f g O interpretdor precis relizr váris vlidções pr determinr se especificção é corret, ou sej, se define relmente um árvore. Algums restrições que devem ser verificds são: 1. A especificção tem ciclos? 2. Há lgum comndo que define um nó A como pi dele mesmo? 3. Todos os nós estão ligdos entre si? 4. Algum comndo define DOIS filhos à esquerd ou à direit pr o mesmo pi? 5. Há mis lgo vlidr?

4 Trlho 3 Lingugem de Estruturs de Ddos Ojetivo do Trlho: implementr em JvCC um compildor pr lingugem LED. LED (ou Lingugem de Estruturs de Ddos ) é um lingugem de progrmção simples que tem como ojetivo resolver prolems fzendo uso de lgums ds principis estruturs de ddos lineres. LED sepr sintticmente declrção de vriáveis, entrd, síd e processmento. A declrção de vriáveis em LED tem um único escopo glol. vriles,, i, cl, mx, f : int ; A entrd de ddos em LED é indicd por um seção específic que ocorre sempre ntes de qulquer processmento. input stopon EOF;, ; A síd de ddos em LED é relizd o finl de cd processmento. output,, mx; O processmento em LED ocorre em um seção específic com três tipos de comndos pens: if, while e de triuição. code if > then i = ; else i = ; mx = 1; while i<= or i<= do f = i; cl = 1; while f<>1 do if f%2=1 then f = 3*f+1;

5 end else f = f/2; cl = cl+1; if cl>mx then mx=cl; i = i +1; Há 3 tipos ásicos em LED (int, string e rel) e mis 3 tipos representndo estruturs de ddos. Inteiros int Números inteiros de 32 its Operções válids: +, -, *, /, %, lógics String string São cdeis de crcteres onde é possível Operções válids: +(conctenção) e lógics Reis rel São pontos flutuntes com 5 css de precisão Operções válids: +, -, *, /, %, lógics Vetores vector of <sic_type> São vetores extensíveis cujs posições são cessds por meio de indexção Pilhs stck of <sic_type> s : stck of int; s = 3; //empilh 3 x = s+5; //desempilh s, som 3 e triui x Fils queue of <sic_type> q : queue of string; q = Crlos ; //coloc Crlos n fil

6 E-BNF d Lingugem LED led vriles input output code vriles <vriles> decl_list decl_list decl decl decl_list decl vr_list <:> type <;> vr_list <IDENT> <IDENT> <,> vr_list type -> sic_type dt_type sic_type <int> <rel> <string> dt_type <vector> <of> sic_type <stck> <of> sic_type <queue> <of> sic_type input <input> cmdinput_list cmdinput_list cmdinput cmdinput cmdinput_list cmdinput vr_list <;> <stopon> (<EOF> logicexp) <;> output <output> cmdoutput_list cmdoutput_list cmdoutput cmdoutput cmdoutput_list cmdoutput vr_list <;> code <code> cmdlist <end> cmdlist cmd <;> cmd <;> cmdlist cmd cmdattri cmdif cmdwhile cmdattri <IDENT> <=> exp cmdif <if> logicexp<then>cmdlist<end> cmdwhile <while> logicexp <do> cmdlist <end> logicexp logiccmp logiccmp (<or> <nd>) logicexp logiccmp exp logicop exp logicop < > <= >= = <> exp <IDENT>

7 <CONSTANTE INTEIRA> <CONSTANTE REAL> <LITERAL DE CADEIA> <IDENT> op exp <(> exp <)> <IDENT> <[> exp <]> op + - * / ^ Comentários em LED são mrcdos por '@' e terminm no finl d linh. Exemplo: x = esse é um comentário Trlho 4 Lingugem de Expressões Agurdr definição deste trlho. Ele será opcionl pr lgums equipes em troc do segundo ou terceiro trlho (à escolh d equipe).