Jazyk, ktorej pravidlá sú explicitne stanovené pred jej použitím. Príklady zahŕňajú programovacie jazyky a matematická jazykov.