É um conjunto de regras sintáticas e semânticas usadas para definir um programa de computador. Permite que um programador especifique precisamente sobre quais dados um computador vai atuar, como estes dados serão armazenados ou transmitidos e quais ações devem ser tomadas sob várias circunstâncias. Linguagens de programação podem ser usadas para expressar algoritmos com precisão.
- Linguagem Natural: é a linguagem falada ou escrita como, por exemplo, o português. As linguagens naturais não foram projetadas pelas pessoas. São passíveis de várias interpretações e sofrem transformações naturais ao longo do tempo.
- Linguagem Formal: ao contrário das linguagens naturais, as linguagens formais são previamente projetadas para determinados fins. A linguagem formal é delineada de modo a evitar equívocos na utilização dos termos, como, por exemplo, a Matemática e as linguagens de programação de computadores.
