It is possible to write such programs because the Feynman diagrams constitute a formal language with a formal grammar.
Такве програме било је могуће написати јер Фајнманови дијаграми чине формални језик са формалном граматиком.