Unspecified behavior[1] is used in programming language standards for a very similar reason: to provide the freedom to interpret in the, uh, spirit of the code, rather than the letter, when it would be overall beneficial.

[1] https://en.wikipedia.org/wiki/Unspecified_behavior