Linguagem formal: características e exemplos

Linguagem formal é um conjunto de signos linguísticos usados ​​exclusivamente em situações em que a linguagem natural não é apropriada. Em geral, a linguagem é dividida em natural ou informal e artificial. O primeiro é usado para situações comuns da vida diária. Enquanto isso, o artificial é usado em situações específicas fora do escopo da vida cotidiana.

Desta forma, a linguagem formal faz parte do grupo artificial. Isso é usado, especialmente nas ciências formais (aquelas cujo campo de ação não são as realidades do mundo físico, mas o mundo abstrato). Algumas dessas ciências incluem lógica, matemática e programação de computadores.

Nesse sentido, esse tipo de linguagem emprega códigos lingüísticos que não são naturais (eles não têm aplicação nas comunicações do mundo comum). No campo das ciências formais, uma linguagem formal é um conjunto de cadeias de símbolos que podem ser regulados por leis específicas de cada uma dessas ciências.

Agora, esse tipo de linguagem usa um conjunto de símbolos ou letras como um alfabeto. A partir disso, as "cadeias da linguagem" (palavras) são formadas. Estes, se cumprirem as regras, são considerados "palavras bem formadas" ou "fórmulas bem formadas".

Funcionalidades

Ambiente restrito

O objetivo da linguagem formal é trocar dados sob diferentes condições ambientais do que outras línguas. Por exemplo, na linguagem de programação, o fim é a comunicação entre humanos e computadores ou entre dispositivos computadorizados. Não é uma comunicação entre humanos.

Assim, é uma linguagem ad hoc, criada com um objetivo específico e para funcionar em contextos muito específicos. Além disso, não é usado de forma maciça. Pelo contrário, seu uso é restrito àqueles que conhecem tanto o objetivo da linguagem quanto seu contexto particular.

Gramática governa a priori

A linguagem formal é formada a partir do estabelecimento de regras gramaticais a priori que dão a base. Então, primeiro projetamos o conjunto de princípios que irão governar a combinação de elementos (sintaxe) e depois gerar as fórmulas.

Por outro lado, o desenvolvimento da linguagem formal é consciente. Isso significa que um esforço sustentado é necessário para o aprendizado. Na mesma ordem de idéias, seu uso leva a uma especialização nos regulamentos e convenções de uso científico.

Componente semântico mínimo

O componente semântico na linguagem formal é mínimo. Uma certa cadeia que pertence à linguagem formal não tem significado por si só.

A carga semântica que eles podem ter vem em parte de operadores e relacionamentos. Algumas delas são: igualdade, desigualdade, operadores lógicos conectivos e aritméticos.

Em linguagem natural, a repetição da combinação de "p" e "a" na palavra "pai" tem o valor semântico do pai. No entanto, na linguagem formal, isso não acontece. No campo prático, o significado ou interpretação das cadeias reside na teoria que se tenta definir através dessa linguagem formal.

Assim, quando é usado para sistemas lineares de equações, tem a teoria matricial como um dos seus valores semânticos. Por outro lado, esse mesmo sistema tem a carga semântica de projetos de circuitos lógicos em computação.

Em conclusão, os significados dessas cadeias dependem da área das ciências formais em que são aplicadas.

Linguagem simbólica

A linguagem formal é completamente simbólica. Isto é feito de elementos cuja missão é transmitir a relação entre eles. Esses elementos são os signos lingüísticos formais que, como mencionado, não geram nenhum valor semântico por si mesmos.

A forma de construção da simbologia da linguagem formal nos permite fazer cálculos e estabelecer verdades que dependem não dos fatos, mas de seus relacionamentos. Essa simbologia é única e muito distante de qualquer situação concreta no mundo material.

Universalidade

A linguagem formal tem um caráter universal. Ao contrário do natural, que motivou a sua subjetividad permite interpretações e dialectos múltiplos, o formal aparece invariável.

Na verdade, é semelhante para diferentes tipos de comunidades. Suas abordagens têm o mesmo significado para todos os cientistas, independentemente da língua que falam.

Precisão e expressividade

Em geral, a linguagem formal é precisa e não muito expressiva. Suas regras de formação impedem seus falantes de cunhar novos termos ou dar novos significados aos termos existentes. E não pode ser usado para transmitir crenças, humores e situações psicológicas.

Capacidade de expansão

Na medida em que foi feito progresso na descoberta de aplicações para linguagem formal, seu desenvolvimento tem sido exponenciado. O fato de poder ser operado mecanicamente sem pensar em seu conteúdo (seus significados) permite a livre combinação de seus símbolos e operadores.

Em teoria, o escopo da expansão é infinito. Por exemplo, investigações recentes no campo da computação e computação relacionam ambas as linguagens (natural e formal) para fins práticos.

Especificamente, grupos de cientistas trabalham em maneiras de melhorar a equivalência entre eles. No final, o que se procura é criar inteligência que possa usar linguagem formal para produzir linguagem natural.

Exemplos

Lógica

Na cadeia: (p⋀q) ⋁ (r⋀t) => t, as letras p, q, r, t simbolizam proposições sem qualquer significado concreto. Por outro lado, os símbolos ⋀, ⋁ e => representam os conectores que conectam as proposições. Neste exemplo em particular, os conectores usados ​​são "y" (⋀), "o" (⋁), "then" (=>).

A tradução mais próxima da string é: se alguma das expressões entre parênteses for satisfeita ou não, então t é atendido ou não é atendido. Os conectores são responsáveis ​​por estabelecer as relações entre proposições que podem representar qualquer coisa.

Matemática

Neste exemplo matemático A = ❴x | x⦤3⋀x> 2❵, um conjunto com o nome "A" que contém elementos do nome "x" intervém. Todos os elementos de A estão relacionados pela simbologia ❴, |, ⦤, ⋀, >, ❵.

Todos eles são usados ​​aqui para definir as condições que os elementos "x" devem preencher para que possam ser do conjunto "A".

A explicação dessa cadeia é que os elementos desse conjunto são todos aqueles que preenchem a condição de ser menor ou igual a 3 e ao mesmo tempo maior que 2. Em outras palavras, essa cadeia define o número 3, que é o único elemento que cumpre as condições.

Programação de computadores

A linha de programação IF A = ​​0, ENTÃO GOTO 30, 5 * A + 1 tem uma variável "A" sujeita a um processo de revisão e tomada de decisão através de um operador conhecido como "se condicional".

As expressões "IF", "THEN" e "GOTO" fazem parte da sintaxe do operador. Enquanto isso, o resto dos elementos são os valores de comparação e ação de "A".

Seu significado é: o computador é solicitado a avaliar o valor atual de "A". Se for igual a zero, irá para "30" (outra linha de programação onde haverá outra instrução). Caso seja diferente de zero, então a variável "A" será multiplicada (*) pelo valor 5 e o valor 1 será adicionado (+).