Constructed languages such as Esperanto, programming languages, and various mathematical formalism is not necessarily restricted to the properties shared by human languages.
What is an example of a language that is not restricted to properties of human language?
programming languages