一个LL(1)文法一定是无二义和无回溯方法。