Recursive Descent Detail in 6.6 of Parsing Technique. For 2 Type(context-free). Depth-first LL Without left-recursive(need transform).