Linguagem formal: características e exemplos

A linguagem formal é um conjunto de signos lingüísticos uso exclusivo em situações onde 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 cotidiana. Enquanto isso, o artificial é usado em situações específicas fora do âmbito da vida cotidiana.

Dessa maneira, 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 do mundo abstrato). Algumas dessas ciências incluem lógica, matemática e programação de computadores.

Linguagem formal: características e exemplos 1

Nesse sentido, esse tipo de linguagem usa códigos lingüísticos que não são naturais (eles não têm aplicação nas comunicações no 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 idioma usa um conjunto de símbolos ou letras como alfabeto. A partir disso, as “cadeias de linguagem” (palavras) são formadas. Estes, se cumprirem as regras, serão considerados “palavras bem formadas” ou “fórmulas bem formadas”.

Caracteristicas

Ambiente restrito

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

Portanto, é uma linguagem ad hoc , criada com um objetivo específico e para funcionar em contextos muito específicos. Além disso, não é usado em grandes quantidades. Pelo contrário, seu uso é restrito a conhecedores, tanto do objetivo da linguagem quanto de seu contexto particular.

Regras gramaticais a priori

A linguagem formal é formada a partir do estabelecimento de regras gramaticais a priori que lhe dão a base. Assim, primeiro o conjunto de princípios que governará a combinação de elementos (sintaxe) é projetado e, em seguida, as fórmulas são geradas.

Relacionado:  Pedro García Cabrera: biografia, estilo e obras

Por outro lado, o desenvolvimento da linguagem formal é consciente. Isso significa que, para o seu aprendizado, você precisa de um esforço sustentado. 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 cadeia específica pertencente à linguagem formal não tem significado por si só.

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

Na 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 a 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 das matrizes como um de seus valores semânticos. Por outro lado, esse mesmo sistema possui a carga semântica de projetos de circuitos lógicos na computação.

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

Linguagem simbólica

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

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

Universalidade

A linguagem formal tem um caráter universal. Diferente do natural, que motivado à sua subjetividade permite interpretações e múltiplos dialetos, o formal é invariável.

Relacionado:  9 exemplos de recursos literários importantes

De fato, é semelhante para diferentes tipos de comunidades. Suas abordagens têm o mesmo significado para todos os cientistas, independentemente do idioma que falam.

Precisão e expressividade

Em geral, a linguagem formal é precisa e não muito expressiva. Suas regras de treinamento impedem que seus palestrantes cunhem novos termos ou dêem novos significados aos termos existentes. E, não pode ser usado para transmitir crenças, humores e situações psicológicas.

Expansibilidade

Na medida em que houve progresso na descoberta de aplicativos para linguagem formal, seu desenvolvimento foi exponencial. 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, pesquisas recentes no campo da computação e da informática vinculam ambas as línguas (naturais e formais) a propósitos práticos.

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

Exemplos

Lógica

Na sequência: (p⋀q) ⋁ (r⋀t) => t, as letras p, q, r, t simbolizam proposições sem nenhum significado concreto. Por outro lado, os símbolos ⋀, and e => representam os conectores que vinculam 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 colchetes for atendida ou não, t será atendido ou não. Os conectores são responsáveis ​​por estabelecer os relacionamentos entre as 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 possui elementos do nome “x” está envolvido. Todos os elementos de A são relacionados pela simbologia ❴, |, ⦤, ⋀,>, ❵.

Relacionado:  Intenção comunicativa: tipos e exemplos

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

A explicação dessa cadeia é que os elementos desse conjunto são todos aqueles que atendem à condição de serem menores ou iguais a 3 e, ao mesmo tempo, maiores que 2. Em outras palavras, essa cadeia define o número 3, que é o único elemento que atende às condições.

Programação de computadores

A linha de programação IF A = ​​0, THEN GOTO 30, 5 * A + 1 possui uma variável “A” sujeita a um processo de revisão e decisão por meio de um operador conhecido como “se condicional”.

As expressões “IF”, “THEN” e “GOTO” fazem parte da sintaxe do operador. Enquanto isso, o restante 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, passará para “30” (outra linha de programação onde haverá outra instrução). Se for diferente de zero, a variável “A” será multiplicada (*) pelo valor 5 e o valor 1 será adicionado (+).

Referências

  1. Dicionário Collins. (s / f). Definição de ‘linguagem formal’. Retirado de collinsdictionary.com.
  2. Universidade de Tecnologia, Sydney. (s / f). Linguagem formal e informal. Retirado de uts.edu.au.
  3. Definições (s / f). Definições para linguagem formal. Retirado de definition.net .
  4. Universidade Técnica de Madri. (s / f). Linguagens naturais e linguagens formais. Retirado de lorien.die.upm.es.
  5. Município de Luján. (s / f). Linguagem formal. Retirado de lujan.magnaplus.org.
  6. Corbin, JA (s / f). Os 12 tipos de linguagem (e suas características). psicologiaymente.com.
  7. Bel Enguix, G. e Jiménez López, MD (s / f). Simpósio: Novas aplicações da teoria das linguagens formais à linguística. Retirado de elvira.lllf.uam.es.

Deixe um comentário

Este site usa cookies para lhe proporcionar a melhor experiência de usuário. política de cookies, clique no link para obter mais informações.

ACEPTAR
Aviso de cookies