Język, którego zasady są wyraźnie ustanowione przed jego użyciem. Przykłady języków programowania i języków matematycznych.