上下文无关语法表示正则表达式

Question

我正在尝试使上下文无关的语法来表示简单的正则表达式。 我想要的符号是[0-9] [az] [AZ]，运算符是“ |”，“（）”和“”。 对于串联，对于现在的序列，我只想要“ *”，以后我将添加“ +”，“？”等。我在javacc中尝试了此语法：

void RE(): {}
{
    FINAL(0) ( "." FINAL(0) | "|" FINAL(0))*
}

void FINAL(int sign): { Token t; }
{
    t = <SYMBOL> {
        if ( sign == 1 )
            jjtThis.val = t.image + "*";
        else
            jjtThis.val = t.image;
    }
    | FINAL(1) "*"
    | "(" RE() ")"
}

问题是最终功能线| FINAL(1) "*" | FINAL(1) "*"给我一个错误Left recursion detected: "FINAL... --> FINAL...在FINAL（1）左侧放置” *“可以解决问题，但这不是我要解决的问题想..

我已经尝试过阅读Wikipedia上的文章，以消除左递归，但是我真的不知道该怎么做，有人可以帮忙吗？ ：s

Answer 1

以下照顾左递归

RE --> FACTOR ("." FINAL | "|" FINAL)*
FINAL --> PRIMARY ( "*" )*
PRIMARY --> <SYMBOL> | "(" RE ")"

但是，那不会给。 优先于| 。 为此，您可以执行以下操作

RE --> TERM ("|" TERM)*
TERM --> FINAL ("." FINAL)*
FINAL --> PRIMARY ( "*" )*
PRIMARY --> <SYMBOL> | "(" RE ")"

一般规则是

A --> A b | c | d | ...

可以转化为

A --> B b*
B --> c | d | ...

其中B是一个新的非终结符。