a formal language with a grammar and rules, is something quite fundamental. Today nobody is surprised that maths shows up in engineering, or [really anywhere](h

a formal language with a grammar and rules, is something quite fundamental. Today nobody is surprised that maths shows up in engineering, or [really anywhere](https://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences https://en.wikipedia.org/wiki/The_Unreasonable_Effectiveness...)! I would imagine that this is just an extension of the above idea about maths. To describe something in such a way that it operates formally, you eventually end up with stuff like LISP, or another equivalent language.