Question

我正在尝试使用MPC为称为Wittgen的语言定义语法（https://esolangs.org/wiki/Wittgen）

我定义了以下语法：

mpc_parser_t* Variable        = mpc_new("variable");
mpc_parser_t* Assign_Operator = mpc_new("assign");
mpc_parser_t* Remind_Operator = mpc_new("remind");
mpc_parser_t* Expr            = mpc_new("expr");
mpc_parser_t* Envinronment    = mpc_new("envinronment");

mpca_lang(MPCA_LANG_DEFAULT,
  " variable     : /[a-zA-Z0-9]+/ ;"                                                     
  " assign       : '=' ;"                                         
  " remind       : '@' ;"                                                                
  " expr         : <variable> | <remind> <variable> '}' | <variable> <assign> <expr>+ '}' ;"
  " envinronment : /^/<expr>+/$/ ;",
  Variable, Assign_Operator, Remind_Operator, Expr, Envinronment);

当我尝试输入变量或提醒操作符（如“foo247”或“@ foo247}”）时，它会正确解析它，但是当我尝试解析一个赋值（“foo247 = foo}”）时，它只返回我

WITTGEN> foo357=foo}
<stdin>:1:7: error: expected one of 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789 ', one or more of one of 'abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789 ', '@' or end of input at '='

我找不到错误，我确定语法中定义了一些错误，但我在官方文档或示例中找不到任何线索

Answer 1

我不是mpc的专家，我可能错了，事实上我现在遇到了自己的问题，但我认为它不支持左递归。因此，由于expr包含在expr规则中，因此会导致错误。

编辑*我能够通过部分扩展来解决我的问题。所以你的等价物就是将变量一直向右移动，所以它首先尝试使用其他两个扩展进行解析。我无法确定是否会导致您的问题，但它可能值得一试。

Answer 2

我的问题来自mpc here的作者：

我只是改变了

的规则定义部分

" expr         : <variable> | <remind> <variable> '}' | <variable> <assign> <expr>+ '}' ;"

为：

" expr         : <remind> <variable> '}' |  <variable> <assign> <expr>+ '}' | <variable>;"

之所以发生这种情况是因为mpc中没有回溯，所以评估规则顺序很重要

使用MPC库进行解析会返回语法定义错误

2 个答案: