По поводу принятой здесь терминологии, касающейся рассмотрения ЯЗЫКОВ ПРОГРАММИРОВАНИЯ как некоторых множеств ЦЕПОЧЕК СИМВОЛОВ в некотором алфавите, см.здесь.
Более подробно машины указанного типа описаныздесь и здесь.
Об использовании ДЕРЕВЬЕВ для представления синтаксической структуры исходных программ см. такжездесь.