vladik, для вывода решения ему так или иначе придется построить AST (abstract syntax tree), которое строится на основе определения грамматики. То есть, без теории, ему все сложнее и сложнее будет поддерживать его, на мой взгляд, титанический труд. Вообщем, если его заинтересует эта тема, то приобретите "Компиляторы: принципы, технологии и инструментарий" Альфреда Ахо и других.