The YACC Parser Generator/Exercise 8 - Revision history

Root: /* Problema */

2022-05-27T15:39:00Z

Problema

← Older revision		Revision as of 15:39, 27 May 2022
Line 2:		Line 2:
	== Problema ==		== Problema ==

	~~Considere uma linguagem constituída por uma sequência de intervalos~~, ~~possivelmente vazia~~. Os ~~intervalos são definidos por valores reais (os limites inferior~~ e ~~superior~~ são ~~separados~~ por ''':'''). ~~Os intervalos são separados entre si~~ por ~~vírgulas (~~''','''~~). A representação dos números reais é como~~ em ~~C++~~. ~~Pretende-se determinar~~ a ~~largura do menor intervalo da~~ sequência, ~~ignorando os intervalos inválidos (em que~~ o ~~limite superior~~ é ~~menor que~~ o ~~limite inferior~~).		Uma máquina reconhece os símbolos '''0''', '''1''', '''''' e '''#'''. Os símbolos '''0''' e '''1''' são organizados em sequências numéricas separadas umas das outras por '''''' ou '''#'''. Se a sequência numérica começar por '''0''', então o seu valor inicial é 2 e duplica a cada '''0''' adicional e incrementa em uma unidade a cada '''1''' adicional. Se a sequência numérica for começar por '''1''', então o seu valor inicial é 1, sendo incrementada de 2 a cada '''0''' adicional e duplicada a cada '''1''' adicional. O símbolo '''*''' corresponde ao operador binário “mínimo” e o símbolo '''#''' ao operador binário “máximo” (ambos associativos à esquerda e com a mesma precedência).

	Escreva uma especificação YACC para o problema acima. Codifique toda a especificação (incluindo as zonas de declarações e de regras) e todas as funções auxiliares. '''Não utilizar variáveis globais.'''		Exemplo: à sequência '''00100*1100#0010''' corresponde ao valor 10 (decimal).

			Escreva uma especificação YACC para o problema acima. Codifique toda a especificação (incluindo as zonas de declarações e de
			regras) e todas as funções auxiliares. '''Não utilizar variáveis globais.'''

	== The Lexical Analyzer (Flex) Specification ==		== The Lexical Analyzer (Flex) Specification ==

Root: /* How to Compile? */

2022-05-27T15:36:29Z

How to Compile?

← Older revision		Revision as of 15:36, 27 May 2022
Line 66:		Line 66:
	The Flex specification is processed as follows (the file '''lex.yy.c''' is produced):		The Flex specification is processed as follows (the file '''lex.yy.c''' is produced):

	flex ~~minint~~.l		flex numseq.l

	The YACC specification is processed as follows (files '''y.tab.h''', needed by the Flex-generated code, and '''y.tab.c'''):		The YACC specification is processed as follows (files '''numseq.tab.h''', needed by the Flex-generated code, and '''numseq.tab.c'''):

	bison -dtv ~~minint~~.y		bison -dtv numseq.y

	Compiling the C/C++ code (it is C++ simply because we programmed the extra code in that language):		Compiling the C/C++ code (it is C++ simply because we programmed the extra code in that language):

	g++ -std=c++17 -c lex.yy.c		g++ -std=c++17 -c lex.yy.c
	g++ -std=c++17 -c y.tab.c		g++ -std=c++17 -c numseq.tab.c
	g++ -o ~~minint y~~.tab.o lex.yy.o		g++ -o numseq numseq.tab.o lex.yy.o

	[[category:Compiladores]]		[[category:Compiladores]]
	[[category:Ensino]]		[[category:Ensino]]

Root: Created page with "{{TOCright}} == Problema == Considere uma linguagem constituída por uma sequência de intervalos, possivelmente vazia. Os intervalos são definidos por valores reais (os li..."

2022-05-27T15:35:40Z

Created page with "{{TOCright}} == Problema == Considere uma linguagem constituída por uma sequência de intervalos, possivelmente vazia. Os intervalos são definidos por valores reais (os li..."

New page

{{TOCright}}
== Problema ==

Considere uma linguagem constituída por uma sequência de intervalos, possivelmente vazia. Os intervalos são definidos por valores reais (os limites inferior e superior são separados por ''':'''). Os intervalos são separados entre si por vírgulas (''','''). A representação dos números reais é como em C++. Pretende-se determinar a largura do menor intervalo da sequência, ignorando os intervalos inválidos (em que o limite superior é menor que o limite inferior).

Escreva uma especificação YACC para o problema acima. Codifique toda a especificação (incluindo as zonas de declarações e de regras) e todas as funções auxiliares. '''Não utilizar variáveis globais.'''

== The Lexical Analyzer (Flex) Specification ==

The lexical analyzer ('''numseq.l''') is very simple and limited to recognizing the indispensable tokens.
<source lang="text">
%option noyywrap
%{
#include <string>
#include "numseq.tab.h"
%}
%%
[01*#] return *yytext;
.|\n ; /* ignore the rest */
%%
</source>

== The Syntactic Analyzer (YACC) Specification ==

The syntactic analyzer ('''numseq.y''') will be built to immediately compute the maximum values in a syntax-directed fashion (as they occur). Note that the use of numeric limits is correct, but other such names would be acceptable (e.g. '''MAXDOUBLE''').
<source lang="text">
%{
#include <limits>
#include <iostream>
extern int yylex();
inline void yyerror(const char *msg) { std::cerr << msg << std::endl; }
%}

%union { int i; }
%type <i> seq0 seq1 expr
%left '*' '#'

%%

top : expr { std::cout << $1 << std::endl; }
;

expr : seq0 { $$ = $1; }
| seq1 { $$ = $1; }
| expr '#' expr { $$ = std::max($1, $3); }
| expr '*' expr { $$ = std::min($1, $3); }
;

seq0 : '0' { $$ = 2; }
| seq0 '0' { $$ = $1 * 2; }
| seq0 '1' { $$ = $1 + 1; }
;

seq1 : '1' { $$ = 1; }
| seq1 '0' { $$ = $1 + 2; }
| seq1 '1' { $$ = $1 * 2; }
;

%%
extern int yyparse();
int main() { return yyparse(); }
</source>

== How to Compile? ==

The Flex specification is processed as follows (the file '''lex.yy.c''' is produced):

flex minint.l

The YACC specification is processed as follows (files '''y.tab.h''', needed by the Flex-generated code, and '''y.tab.c'''):

bison -dtv minint.y

Compiling the C/C++ code (it is C++ simply because we programmed the extra code in that language):

g++ -std=c++17 -c lex.yy.c
g++ -std=c++17 -c y.tab.c
g++ -o minint y.tab.o lex.yy.o

[[category:Compiladores]]
[[category:Ensino]]