标签: parsing compiler-construction nlp grammar
S - > 1S2 | S0 | epsilon
我认为这将是LL(1),因为它可以确定。
例如,如果下一个输入符号是0,我知道它是S - > S0
epsilon是否意味着它不能是LL(1)?
答案 0 :(得分:1)
这个语法不是LL(1),只是因为它有一个左递归。当您尝试构建解析器表时,您会遇到冲突。
http://en.wikipedia.org/wiki/LL_parser