Explicamos o que são as linguagens formais, suas características, exemplos e tipos. Além disso, suas diferenças com as línguas naturais.
O que é uma linguagem formal?
Dentro Informática e ciência da informação, quando nos referimos a uma linguagem formal em oposição a linguagens naturais, nos referimos aos sistemas de sinais dotado de símbolos primitivos e um sistema formalmente especificado de regras de uso, isto é, dotado de um alfabeto e de um gramática (ou sintaxe) formal:
- Um alfabeto é entendido como o conjunto finito e não vazio de símbolos primitivos.
- A gramática formal é entendida como o conjunto finito de regras de combinação do referido alfabeto para formar cadeias finitas com um significado específico.
Nisso se diferencia das línguas naturais, surgidas em torno da necessidade humana de se comunicar, nas quais as regras são complexas e ambíguas, e o significado depende da interpretação do signos lingüísticos. Por este motivo, as linguagens naturais são infinitamente mais complexas do que a leitura de uma linguagem formal cujo as regras eles são finitos e estabelecidos antecipadamente.
As línguas formais são importantes para o mundo da matemática e do Informática, uma vez que nos permitem criar códigos comunicação entre seres humanos e máquinas, ou seja, o programação. Não devemos confundir as linguagens formais com o nível formal da linguagem ou com o linguagem formal, que é o uso formal, educado e formal da linguagem verbal, em oposição ao seu uso coloquial, desgrenhado e informal.
Segundo o lingüista americano Noam Chomsky (1928-), as línguas formais podem ser classificadas em quatro tipos:
- Tipo 3: linguagens regulares dotadas de gramáticas regulares, ou seja, com sistemas de regras que podem ser obtidos por expressões regulares e que permitem a obtenção de todas as cadeias de símbolos possíveis.
- Tipo 2: linguagens não contextuais dotadas de gramáticas não contextuais, ou seja, permitem a obtenção de todas as cadeias de símbolos possíveis, mas em um nível de complexidade muito maior do que as regulares.
- Tipo 1: linguagens contextuais dotadas de gramáticas contextuais, ou seja, que permitem a obtenção de strings de símbolos dependentes, como seu nome indica, do contexto.
- Tipo 0: linguagens livres dotadas de gramáticas livres, sem restrições, que produzem linguagens enumeráveis recursivamente.
Exemplos de linguagens formais
Exemplos de linguagens formais são:
- O linguagens de programação com o qual o Programas.
- O jogo de xadrez, cujas peças são limitadas e os movimentos descritos com antecedência.
- Código Morse, que por meio de sinais curtos e longos compõe palavras Y números inteiros.
- A própria lógica o simbólico constitui uma linguagem formal.