yacc中的Lisp语法

Question

我正在尝试建立Lisp语法。 容易吧？ 显然不是。

我提出这些输入并收到错误...

( 1 1)
23 23 23 
ui ui

这是语法...

%%
sexpr: atom                 {printf("matched sexpr\n");}
    | list
    ;
list: '(' members ')'       {printf("matched list\n");}
    | '('')'                {printf("matched empty list\n");}
    ;
members: sexpr              {printf("members 1\n");}
    | sexpr members         {printf("members 2\n");}
    ;
atom: ID                    {printf("ID\n");}
    | NUM                   {printf("NUM\n");}
    | STR                   {printf("STR\n");}
    ;
%%

据我所知，我需要将单个非终端定义为程序，整个分析树都可以挂在该程序上。 但是我尝试了一下，但似乎没有用。

编辑-这是我的“顶级终端”方法：

program: slist;

slist: slist sexpr | sexpr;

但是它允许出现以下问题：

( 1 1 

Edit2：FLEX代码是...

%{
    #include <stdio.h>
    #include "a.yacc.tab.h"
    int linenumber;
    extern int yylval;
%}
%%
\n                         { linenumber++; }
[0-9]+                     { yylval = atoi(yytext); return NUM; }
\"[^\"\n]*\"               { return STR; }
[a-zA-Z][a-zA-Z0-9]*       { return ID; }
.
%%

过度匹配的示例...

(1 1 1)
NUM
matched sexpr
NUM
matched sexpr
NUM
matched sexpr
(1 1
NUM
matched sexpr
NUM
matched sexpr

这是什么错误？

编辑：错误是在词法分析器中。

Answer 1

Lisp语法不能表示为上下文无关的语法，并且yacc不能解析所有lisp代码。 这是因为具有诸如读取评估和可编程读取器之类的Lisp功能。 因此，为了只读取任意Lisp代码，您需要运行完整的Lisp。 这不是一些不起眼的，未使用的功能，但实际上已在使用。 例如，CL-INTERPOL，CL-SQL。

如果目标是解析Lisp的子集，则程序文本是sexprs的序列。

Answer 2

错误确实在词法分析器中。 括号最后为“”。 在词法分析器中，并且不会在分析器中显示为括号。

添加规则，例如

\)     { return RPAREN; }
\(     { return LPAREN; }

到词法分析器，然后将解析器中所有出现的'（'，'）'分别更改为LPAREN和RPAREN。 （此外，您需要在定义令牌列表的地方#define LPAREN和RPAREN）

注意：我不确定语法，可能是反斜杠错误。

Answer 3

您是正确的，因为您需要定义一个非终结符。 那将被定义为一组性。 我不确定YACC语法。 我偏爱用于解析器生成器的ANTLR ，语法为：

program: sexpr*

表示0个或多个sexpr。

使用YACC语法更新：

program :  /* empty */
        | program sexpr
        ;

并非在YACC中提供，但无论如何可能会有所帮助，这是ANTLR v3中的完整语法，适用于您描述的情况（排除了词法分析器中的字符串，因为对于该示例而言并不重要，还使用了C＃控制台输出，因为这就是我对其进行测试的方式） ）：

program: (sexpr)*;

sexpr: list
    |  atom            {Console.WriteLine("matched sexpr");}
    ;

list:     
   '('')'              {Console.WriteLine("matched empty list");}
   | '(' members ')'   {Console.WriteLine("matched list");}

    ;

members: (sexpr)+      {Console.WriteLine("members 1");};

atom: Id               {Console.WriteLine("ID");}
    | Num              {Console.WriteLine("NUM");}
    ;


Num: ( '0' .. '9')+;
Id: ('a' .. 'z' | 'A' .. 'Z')+;
Whitespace : ( ' ' | '\r' '\n' | '\n' | '\t' ) {Skip();};

这将无法完全像YACC中那样工作，因为YACC会生成和LALR解析器，而ANTLR是经过修改的递归下降。 如果要这样做，可以为ANTLR提供C / C ++输出目标。

Answer 4

您是否需要一个yacc /野牛解析器？ 在C语言中，“读取lisp语法的子集”阅读器并不难（从read_sexpr函数开始，看到“（”时将其分派到read_list，然后依次构建包含的sexprs的列表，直到“ ）''；否则，请调用read_atom来收集原子并在其不再能够读取原子组成字符时返回该原子）。

但是，如果您希望能够读取任意的Common Lisp，则需要（最坏的情况）实现Common Lisp，因为CL可以修改读取器的运行时（甚至可以在不同的读取表运行时之间进行切换）在程序控制下；当您要加载用另一种语言或Lisp方言编写的代码时，非常方便。

Answer 5

我刚刚尝试过，我的“ yacc lisp语法”可以正常工作：

%start exprs

exprs:
    | exprs expr
    /// if you prefer right recursion :
    /// | expr exprs
    ;

list:
    '(' exprs ')'
    ;

expr:
    atom
    | list
    ;

atom:
    IDENTIFIER
    | CONSTANT
    | NIL
    | '+'
    | '-'
    | '*'
    | '^'
    | '/'
    ;

Answer 6

自从我与YACC合作以来已经很长时间了，但是您确实需要顶级的非终端。 您能否更详细地说明“尝试过”和“它似乎没有用”？ 或者，就此而言，错误是什么？

我还怀疑YACC对于这种语法轻的语言可能会过大。 更简单的方法（例如递归下降）可能会更好。

Answer 7

您可以在这里尝试这种语法 。