Antlr消除左递归心得
Antlr的LL(*)文法不支持左递归，虽然Antlrworks提供了一些自动消除左递归的功能，但是也不是很好用。另外，很多文法文件都包含了（大量的）左递归，比如C99标准里的
Grammar
postfix-expression:
primary-expression
postfix-expression [ expression ]
postfix-expression ( argument-expression-listopt )
postfix-expression . identifier
postfix-expression –> identifier
postfix-expression ++
postfix-expression --
( type-name ) { initializer-list }
( type-name ) { initializer-list ,}
老夫总结一些转换模板分享给大家
左递归
基本型 1
A : b
A b
to
A : b+
以C99标准里的编译单元举例子：
translation_unit:
external_declaration
translation_unit external_declaration
显然 translation_unit 就是 A, external_declaration 就是 B,套用模板后
translation_unit : external_declaration +
基本型 2
A : b
c
A b
to
A : (b | c) (b)*
基本型 3
A : b
c
A e
A f
to
A : (b | c) (e | f)*
其实就是 类型1 和 类型2的扩展，以C99标准里的direct_declarator举例子，这个例子绝对够复杂:
direct_declarator:
identifier
( declarator )
direct_declarator [ type_qualifier_list ? assignment_expression ? ]
direct_declarator [ static type_qualifier_list ? assignment_expression ]
direct_declarator [ type_qualifier_list static assignment_expression ]
direct_declarator [ type_qualifier_list ? *]
direct_declarator ( parameter_type_list )
direct_declarator ( identifier_list ? )
“direct_declarator” 就是 A
“identifier” 就是 b
“( declarator )” 就是 c
“[ type_qualifier_list ? assignment_expression ? ]” 就是 e
…省略
direct_declarator :
( identifier | ‘(‘ declarator ‘)’ )
( ‘[‘ type_qualifier_list ? assignment_expression ? ‘]’
| ‘[‘ static type_qualifier_list ? assignment_expression ‘]’
| ‘[‘ type_qualifier_list static assignment_expression ‘]’
| ‘[‘ type_qualifier_list ? ‘*’ ’]’
| ‘(‘ parameter_type_list ‘)’
| ‘(‘ identifier_list ? ‘)’
)*
扩展型
A : a
b
A ? c
A ? d
A ? e
这个稍微有些麻烦，但是也很简单，先把
A ? c
变成
c
A c
于是变成
A: a
b
c
A c
d
A d
e
A e
为了美观，排序一下
A: a
b
c
d
e
A c
A d
A e
最后套用 基本型 3
A:(a|b|c|d|e) (c|d|e)*
尾递归
尾递归基本上和左递归差不多，不多解释了…
基本型 1
A: b
b A
to
A: (b)+
基本型 2
A: b
c
b A
to
A: (b)(b|c)*
基本型 3
A: a
b
c A
d A
to
A: (c|d)(a|b)*
扩展型
A : a
b
c A?
d A?
e A?
to
A : a
b
c
c A
d
d A
e
e A
to
A : a
b
c
d
e
c A
d A
e A
to
(c | d| e)(a | b |c |d |e)*
