Both machine code and interpreted scripts are executable, and so they have a formal meaning, at least for a given machine or interpreter. They both feel as "fo

Both machine code and interpreted scripts are executable, and so they have a formal meaning, at least for a given machine or interpreter. They both feel as "formal" as the other, and much more so than a spec written in e.g. English.