什么是这些的野牛/ yacc语法

Question

我正在尝试学习Flex / Bison和世界，如果充满计算器示例，其中一切都是表达; 我正在尝试更多：引入“var”关键字; 所以我卡住了 这是我要解析的内容：

var x;
x = 3 + 4;
print x;

然后将其复杂化：

var x = 2+3, y = x+5, xyz;
xyz = x + y + 3;
print xyz;

“var x =”表达式是否为2 + 3？ 或者“，y =”也是表达式？

已编辑 - 已添加额外信息：

我正处在非常非常开始的时候：

%union 
{
    char *chars;
}

%token TOKEN_VAR
%token <chars> TOKEN_LITERAL
%token ';' TOKEN_SEMICOLON 

%%
input
: varStatement {;}
;

varStatement 
: TOKEN_VAR TOKEN_LITERAL TOKEN_SEMICOLON {AddStatement(new VarStatement($2));}
;

%%

试图解析：“var xz; var abc;” 我有两个问题：

• $ 2始终为空
• var xz后解析器停止;

Answer 1

我不认为StackOverflow是完全介绍编写无上下文语法的正确论坛，但也许这足以让你开始。

语法由许多规则组成，每个规则的形式为“一个X可以是a后跟一个b后跟......”。 这些规则可以是递归的 ，这是表达任意重复等概念的唯一方法。 换句话说，由于我们不能说“ 列表是由_Comma_s分隔的任何数量的_expression_s”，我们所说的是：“ 列表可以是表达式 ，或者它可以是一个列表后跟一个逗号后跟一个表达 。“ 我们通常写如下：

list: expression            /* A list can be an expression */
    | list ',' expression   /* or a list, a comma, and an expression */

| 只是一个缩写。 我们本来可以写的：

list: expression            /* A list can be an expression */
list: list ',' expression   /* or a list, a comma, and an expression */

注意使用','来表示“逗号”。 在野牛中，您不必考虑由单个字符组成的令牌的名称; 你可以简单地在引号中使用字符本身。 （在flex中，为了返回该标记，你做同样的事情： { return ','; } 。这是有效的，因为在C中，单引号字符是一个整数常量。）

对于多字符标记 - 例如var关键字 - bison允许您使用双引号字符串，前提是您声明了标记名称。 例如，您可以写：

/* Declare the token name and the string representation */
 %token TOKEN_VAR "var"

 %%
 var_statement: "var" declaration_list ';'
 declaration_list: declaration
                 | declaration_list ',' declaration
 declaration: IDENTIFIER
            | IDENTIFIER '=' expression 

现在，“程序”也是一个语句列表，但由于语句以分号结束，我们在列表中不需要任何标点符号。 这是一个微不足道的差异：

 program: statement
        | program statement
 statement: var_statement
          | print_statement
          | assignment_statement

这里还有更多要填写的内容（例如expression ），但希望能给你一些想法。

Answer 2

HARD提供特定的bison / yacc配置，没有更多限制或正式语法。 特别是如果“var x =”应该是一个表达式（评估为“x”并且副作用将“x”添加到环境中）或作为语句（不带返回类型的评估）或其他内容，则决定。

通常，您最好在没有代码生成工具支持的情况下尝试编写一些简单的解析器。 您语言的可能语法是：

Statement ::= ExpStat | VarStat | PrintStat
VarStat ::= var InitializerList;
InitializerList ::= (Ident | Ident = Exp )( ,Ident | ,Ident = Exp)*
ExpStat ::= Exp
PrintStat ::= Print Exp;
Exp ::= Exp BinaryOp Exp | Number | Ident
BinaryOp ::= + | =
Number ::= [1-9]+[0-9]*
Ident ::= [a-z]*

添加附加约束的地方，数字必须大于或等于0且小于或等于2 ^ 32-1，二进制操作+在示例中为“左关联”，而二进制操作“=”是右关联的（不是说这是一个好主意，只是说它是许多可能的机会之一）。

您可以在一个下午或两个月内对解析器，类型检查器和这种语法的评估器进行编码（可能是一个虚拟机，以便在一周内加速整个过程），但首先您需要对您的语言应该如何工作有一个精确的概念。 代码生成工具值得注意不要成为银弹，特别是如果你不能正确编写自己的解析器或者自己编写语法，那么在使用代码生成器时你可能会遇到更多问题，因为它们隐藏了很多细节并增加了额外的复杂性。