formal languages
[/ˈfɔːrməl ˈlæŋɡwɪdʒɪz/]
nounpl: formal languages
linguagens formais
1. In computer science and mathematics, a set of strings of symbols constrained by specific rules of formation and syntax, used to describe computational problems and formal systems
Formal languages are essential for designing compilers and programming languages.
Linguagens formais são essenciais para projetar compiladores e linguagens de programação.
2. Abstract systems of communication with precisely defined symbols and rules of combination, without reference to real-world meaning or semantics
The theory of formal languages helps us understand the limits of computation.
A teoria das linguagens formais nos ajuda a entender os limites da computação.
3. Languages used in logic, mathematics, and theoretical computer science where syntax is completely independent of interpretation
Formal languages can be recognized by finite automata or context-free grammars.
Linguagens formais podem ser reconhecidas por autômatos finitos ou gramáticas livres de contexto.
This is a specialized technical term used primarily in academic and professional computer science contexts in both Brazil and the USA. It is not part of everyday colloquial language but is fundamental to theoretical computer science education. In Brazil, the term is widely taught in computer science programs at universities like USP, UNICAMP, and UFRJ. The concept is language-independent and maintains the same meaning across English and Portuguese-speaking communities.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →