Jazyk, jehož pravidla jsou výslovně stanoveny před jeho použitím. Příklady programovacích jazyků a matematické jazyků.