A nyelv, amelynek szabályai kifejezetten létre, és felhasználás előtt. Példák közé tartozik a programozási nyelvek és a matematikai nyelv.