ANTLR
理論的背景は、ANTLRのサイトにある論文
LL(*): The Foundation of the ANTLR Parser Generator
ANTLR: A Predicated-LL(k) Parser Generator
などを参照されたい。