Mluví se jen o jazycích odvozených z Fotranu, hádám? Nebo jsou obecně programovací jazyky podmnožinou formálních jazyků (ve Forthu, Common Lisp a i třeba TeX umožňují měnit co se jak lexikálně zpracuje)? Co je frázový a abstraktní strom třeba u Forthu? Je abstraktním stromem u Common Lispu míněn načtený sexp? Ten zdá se závisí na sémantice - např. hash-dot.
