令牌计数比较语法

Question

grammar neq;

WS
    :   [ \t\r\n]+ -> skip
    ;


root: aGTb | bGTa | eq;


aGTb: 'a'
        |  eq  aGTb
        |  aGTb  eq
        |  aGTb  aGTb
;

bGTa: 'b'
        |  eq  bGTa
        |  bGTa  eq
        |  bGTa  bGTa
;
        
eq: 'a'  'b'
  |  'b'  'a'
  |  'a'  eq  'b'
  |  'b'  eq  'a'
  |  eq  eq
;

然而，这个版本太慢了，测试：

• 随机字符串长度20个文字：平均时间=14毫秒，最短时间=0，最大时间=78

• 长度 40：平均时间 =32，最小时间 =0，最大时间 =231

• 长度 60：平均时间 =83，最短时间 =16，最长时间 =416

• 长度 80：平均时间 =365，最短时间 =37，最长时间 =11935

• 长度 100：平均时间 =1442，最短时间 =67，最长时间 =25317

• 长度 120：平均时间 =21861，最小时间 =135，最大时间 =924769

上述 924 秒解析时间的输入：

a b b a a a b b a a b a b a a a a b a a a a b b b a a a a b a a b 
a a a b b b a a a b b a b b b a a b b a b a b a b a b a a a a b b 
b a a b b b b a a b a b a b a a a b a b b b b b a a a b a a a b b 
a b a b a a b b b a a b b a b a a a a a a 

语法可以重写为更快的版本吗？ （请注意，将 say eq 更改为

eq: 'a'  'b'
  |  'b'  'a'
  |  eq  'a'  'b'
  |  eq  'b'  'a'
  |  'a'  eq  'b'
  |  'b'  eq  'a'
  |  'a'  'b'  eq
  |  'b'  'a'  eq
;

并不等同的规则重写，因为它不会识别 aabbbba a）。