I wrote a grammar for antlr v3. But I need to proff that it's 1) LL(*) 2) single program tree How to do it in mathematically correct way ? Also could you point out articles about LL(*) ?