方舟编译器课程笔记

最新推荐文章于 2022-12-06 11:35:48 发布

原创最新推荐文章于 2022-12-06 11:35:48 发布 · 1.4k 阅读

1 ·

CC 4.0 BY-SA版权

编译原理专栏收录该内容

1 篇文章

订阅专栏

本文详细介绍使用lex、yacc等工具进行词法与语法分析的实现方法，包括手写语法分析器、语法生成器的过程，以及在MacOS环境下配置与编译flex的步骤。通过具体示例，如构建一个简单的Pascal-like语言扫描器，展示了如何从初始化项目到实现代码解析的全过程。

词法、语法分析实现方法之分

使用lex、yacc或类似的生成器构建
手写语法分析器、语法生成器

初始化项目

创建项目文件夹

mkdir bace03
cd bace03

初始化git仓库。

git init

创建测试用例

mkdir test
git add test/
vi test/square.pl0

添加文件：

VAR x, squ;

PROCEDURE square;
BEGIN
   squ:= x * x
END;

BEGIN
   x := 1;
   WHILE x <= 10 DO
   BEGIN
      CALL square;
      ! squ;
      x := x + 1
   END
END.

提交任务

git commit -am 'add a new test case'

配置git快捷操作

git config --global alias.st status
git config --global alias.d diff

实现一个flex demo

在课程中没有提供flex的文档地址：这里附上flex Manner

%%
username    printf("%s", getlogin() );

这里一定要加最后一个空行，否则会报错

编译运行。

flex src/scanner.l
gcc lex.yy.c -ll

我使用的是Mac OS系统，在这里无法使用-lfl参数进行编译，需要改为-ll参数。

使用Makefile进行编译

all:
	flex src/scanner.l
	gcc lex.yy.c -ll
	./a.out < test/square.pl0

最后使用的代码

/* scanner for a toy Pascal-like language */

%{
/* need this for the call to atof() below */
#include <math.h>
%}

DIGIT    [0-9]
ID       [a-z][a-z0-9]*

%%

{DIGIT}+    {
            printf( "An integer: %s (%d)\n", yytext,
                    atoi( yytext ) );
            }

{DIGIT}+"."{DIGIT}*        {
            printf( "A float: %s (%g)\n", yytext,
                    atof( yytext ) );
            }

if|then|begin|end|procedure|function        {
            printf( "A keyword: %s\n", yytext );
            }

{ID}        printf( "An identifier: %s\n", yytext );

"+"|"-"|"*"|"/"   printf( "An operator: %s\n", yytext );

"{"[^}\n]*"}"     /* eat up one-line comments */

[ \t\n]+          /* eat up whitespace */

.           printf( "Unrecognized character: %s\n", yytext );

%%

main( argc, argv )
int argc;
char **argv;
    {
    ++argv, --argc;  /* skip over program name */
    if ( argc > 0 )
            yyin = fopen( argv[0], "r" );
    else
            yyin = stdin;

    yylex();
    }