It is possible to write such programs because the Feynman diagrams constitute a formal language with a formal grammar.
Người ta có thể viết những chương trình như vậy bởi vì biểu đồ Feynman chứa đựng một ngôn ngữ hình thức với một ngữ pháp hình thức.