Un linguaggio in cui le regole sono esplicitamente stabilite prima del suo utilizzo. Esempi di linguaggi di programmazione e linguaggi matematici.