如何为非 lambda-free 语言创建 ANTLR 语法？

Question

---

我试图使用 ANTLR v4.9.3 模仿下面显示的语法 G ...

< a href="https://i.sstatic.net/vpAid.png" rel="nofollow noreferrer">

我的尝试如下所示...

grammar G ;
s : t s | ;
t : 'aaa' t 'bbb' |  ;

我按如下方式调用 ANTLR 工具...

org.antlr.v4.Tool G.g4

该工具的响应是...

The following sets of rules are mutually left-recursive [s]

我的问题是...

如何为语法 G 创建 ANTLR 语法？

---

为了消除错误，语法G已更新为...

grammar G ;
s : t* EOF ;
t : 'aaa' 'bbb' | 'aaa' t 'bbb' ;

---

我还尝试以编程方式区分L(G)中的字符串>，以及不在 L(G) 中的字符串（其中 L(G) 是语法 G 生成的语言）。在以下代码中，第一个字符串位于 L(G) 中，但第二个字符串不在 L(G) 中。

    String [] stringArray = { "aaaaaabbbbbbaaabbbaaaaaabbbbbb",
                              "aaabbbaaaaaabbbbbbaaabbbb" } ;
    for ( int i = 0 ; i < stringArray.length ; i ++ )
      {
      CharStream charStream = CharStreams.fromString ( stringArray[i] ) ;
      GLexer lexer = new GLexer( charStream ) ;
      CommonTokenStream tokens = new CommonTokenStream( lexer ) ;
      GParser parser = new GParser( tokens ) ;
      ParseTree tree = parser.s() ;
      } // end for i loop

我希望代码能够打印诸如……

The string "aaaaaabbbbbbaaabbbaaaaaabbbbbb" is in L(G).

和……

The string "aaabbbaaaaaabbbbbbaaabbbb" is not in L(G).

如何以编程方式区分解析成功的字符串（并且位于L(G)中），以及无法成功解析的字符串（并且不在 L(G) 中）？

---