Significado de linguagem formal
Explore os principais sentidos da palavra 'linguagem formal', do uso cotidiano ao contexto técnico, com exemplos e explicações claras.
Sentido Normativo
Definição no sentido mais comum e amplamente aceito da palavra.
- s.f.Sistema estruturado de símbolos e regras para comunicação ou representação precisa.
- s.f.Conjunto de regras sintáticas e semânticas que definem uma linguagem artificial, como as da lógica ou da computação.
- s.f.Modo de expressão que segue rigorosamente as normas gramaticais e estilísticas de um idioma, evitando coloquialismos.
- s.f.No contexto da matemática e da ciência da computação, um sistema preciso para descrever a sintaxe de linguagens de programação.
- s.f.Estudo teórico das propriedades abstratas dos sistemas de símbolos e de suas regras de manipulação.
Etimologia:
A expressão "linguagem formal" deriva do latim: "linguagem" vem de "lingua", que significa "língua" ou "idioma", e "formal" origina-se de "formalis", relativo a forma ou estrutura, indicando, assim, um modo de expressão que segue regras ou normas estabelecidas.
Sentidos Expandidos
Definições organizadas por camada de contexto e outras perspectivas.
Sentido Computacional
Refere-se a uma linguagem artificialmente criada com sintaxe e semântica rigorosamente definidas, usada para instruir máquinas ou para a especificação formal de sistemas. Seu propósito é eliminar ambiguidades inerentes às línguas naturais.
Exemplo: As linguagens de programação como Python, C ou Java, e linguagens de especificação como Z ou B.
Sentido Linguístico-Teórico
Na Linguística e na Filosofia da Linguagem, designa um objeto de estudo abstrato, modelado como um conjunto de sentenças bem formadas segundo um sistema de regras. É um constructo teórico para analisar a estrutura e os limites da expressão linguística.
Exemplo: A definição de linguagem formal na teoria de Chomsky como um conjunto de strings geradas por uma gramática.
Sentido Sociolinguístico
Denota um registro de fala ou escrita caracterizado pelo uso deliberado das normas padrão de prestígio de um idioma, adequado a contextos institucionais, acadêmicos ou legais. Sinaliza distância, autoridade e impessoalidade.
Exemplo: A linguagem utilizada em um contrato legal, em uma sentença judicial ou em uma dissertação acadêmica.
Sentido Lógico-Matemático
É um sistema sintático puro, composto por um alfabeto, regras de formação (para fórmulas bem formadas) e regras de inferência, desvinculado inicialmente de qualquer significado. Serve como base para a formalização de teorias e raciocínios.
Exemplo: O cálculo proposicional ou o cálculo de predicados, que formam a base da lógica simbólica moderna.
Explorar também:
Compartilhar: