Linguagem cujas regras são explicitamente estabelecidas antes da sua utilização e que permite, por exemplo, comunicar com um computador com o objetivo de o fazer executar uma ou mais tarefas.