Question

我在修复班次方面遇到了麻烦，减少了我语法中的冲突。我试图添加-v来读取问题的输出，它引导我走向状态0，并提到我的INT和FLOAT被规则9简化为variable_definitions。我看不到冲突，我找不到问题溶液

%{
#include <stdio.h>
#include <stdlib.h>
%}

%token INT FLOAT
%token ADDOP MULOP INCOP
%token WHILE IF ELSE RETURN
%token NUM ID
%token INCLUDE
%token STREAMIN ENDL STREAMOUT
%token CIN COUT
%token NOT
%token FLT_LITERAL INT_LITERAL STR_LITERAL


%right ASSIGNOP
%left AND OR
%left RELOP

%%
program:    variable_definitions
      | function_definitions
      ;
function_definitions: function_head block
      | function_definitions function_head block
      ;
identifier_list: ID
      | ID '[' INT_LITERAL ']'
      | identifier_list ',' ID
      | identifier_list ',' ID '[' INT_LITERAL ']'  
      ;
variable_definitions: 
      | variable_definitions type identifier_list ';'
      ;
type:         INT
      | FLOAT
      ;
function_head: type ID arguments
      ;
arguments: '('parameter_list')'
      ;
parameter_list:
      |parameters
      ;
parameters:   type ID
      | type ID '['']'
      | parameters ',' type ID
      | parameters ',' type ID '['']'
      ;
block:        '{'variable_definitions statements'}'
      ;
statements:   
      | statements statement
      ;
statement:    expression ';'
      | compound_statement
      | RETURN expression ';'  
      | IF '('bool_expression')' statement ELSE statement
      | WHILE '('bool_expression')' statement 
      | input_statement ';'
      | output_statement ';'
      ;
input_statement: CIN
      | input_statement STREAMIN variable
      ;
output_statement: COUT
      | output_statement STREAMOUT expression
      | output_statement STREAMOUT STR_LITERAL
      | output_statement STREAMOUT ENDL
      ;
compound_statement: '{'statements'}'
      ;
variable:     ID
      | ID '['expression']'
      ;
expression_list: 
      | expressions
      ;
expressions:  expression
      | expressions ',' expression
      ;
expression:   variable ASSIGNOP expression
      | variable INCOP expression
      | simple_expression
      ;
simple_expression: term
      | ADDOP term
      | simple_expression ADDOP term
      ;
term:         factor
      | term MULOP factor
      ;
factor:       ID
      | ID '('expression_list')'
      | literal
      | '('expression')'
      | ID '['expression']'
      ;
literal:      INT_LITERAL
      | FLT_LITERAL
      ;
bool_expression: bool_term
      | bool_expression OR bool_term
      ;
bool_term:    bool_factor
      | bool_term AND bool_factor
      ;
bool_factor:  NOT bool_factor
      | '('bool_expression')'
      | simple_expression RELOP simple_expression
      ;
%%

Answer 1

您对program的定义是它是变量定义列表或函数定义列表（program: variable_definitions | function_definitions;）。这对我来说似乎有点奇怪。如果我想定义函数和变量怎么办？我是否必须编写两个程序并以某种方式将它们链接在一起？

这不是问题的原因，但修复它可能也可以解决问题。直接原因是function_definitions是一个或多个函数定义，而variable_definitions是零个或多个变量定义。换句话说，function_definitions递归的基本情况是函数定义，而variable_definitions的基本情况是空序列。因此，变量定义列表以空序列开头。

但是函数定义和变量定义都以type开头。因此，如果程序的第一个标记是int，则它可以是返回类型为int的函数定义的开头，或类型为int的变量定义。在前一种情况下，解析器应该移动int以生成function_definitions基本情况：在后一种情况下，它应该立即减少空variable_definitions基本情况。

如果您真的希望程序既可以是函数定义，也可以是变量定义，但不能同时使用两者。您需要通过将基本情况从空更改为variable_definitions，使function_definitions具有与type identifier_list ';'相同的格式。然后，您可以将空生成添加到program，以便解析器可以识别空输入。

但正如我在开头所说，你可能希望程序是一系列定义，每个定义都可以是变量或函数：

program: %empty
       | program type identifier_list ';'
       | program function_head block

顺便说一句，您误读了-v生成的输出文件。它显示状态0的以下操作：

INT    shift, and go to state 1
FLOAT  shift, and go to state 2

INT       [reduce using rule 9 (variable_definitions)]
FLOAT     [reduce using rule 9 (variable_definitions)]

此处，INT和FLOAT可能是 lookaheads 。所以行INT [reduce using rule 9 (variable_definitions)]的解释是＆＃34;如果前瞻是INT，立即减少使用生产9＆＃34;。生产9产生空序列，因此减少将解析器堆栈顶部的零令牌减少为variable_definitions。减少不使用先行标记，因此在减少之后，先行标记仍为INT。

然而，解析器实际上并没有这样做，因为它对INT有不同的操作，即将其移动并转到状态1.如第一行开始{{1}所示}。括号INT表示不采取此行动，因为它是冲突，冲突的解决是其他一些行动。因此，对该行的更准确的解释是，如果它不是[...]上的前一个操作，则前瞻INT将使用规则9导致减少。＆＃34;

转移减少冲突

1 个答案: