Tradução de "formal language" para a língua portuguesa:
Dicionário Inglês-Português
Formal - translation : Formal language - translation : Language - translation :
Exemplos (Fontes externas, não revisadas)
| Formal language theory Regular expressions describe regular languages in formal language theory. | Teoria de linguagens formais Expressões regulares podem ser expressas através da teoria de linguagens formais. |
| Formal theories, systems and proofs In mathematical logic, a formal theory is a set of sentences expressed in a formal language. | Teorias formais, sistemas e provas Na lógica matemática, uma teoria formal é um conjunto de sentenças expressas em uma linguagem formal. |
| The formal theorem is written in highly technical language. | O teorema formal é escrito em linguagem bastante técnica. |
| SDL is a formal language used in computer science. | SDL is a formal language used in computer science. |
| Automata theory is also closely related to formal language theory. | Teoria dos autômatos também está profundamente relacionada à teoria das linguagens formais. |
| Brainfuck's formal parent language Except for its two I O commands, brainfuck is a minor variation of the formal programming language P created by Corrado Böhm in 1964. | Exceto pelos seus dois comandos de E S, brainfuck é uma variação da linguagem de programação P , criada por Corrado Böhm em 1964. |
| In theoretical computer science and formal language theory, a regular language (also called a rational language) is a formal language that can be expressed using a regular expression, in the strict sense of the latter notion used in theoretical computer science. | Na teoria da ciência da computação e teoria formal de linguagem, uma linguagem regular é uma linguagem formal que pode ser expressa usando expressões regulares, ou seja, uma linguagem produzida utilizando as operações de concatenação, união e fecho de Kleene sobre os elementos de um alfabeto. |
| Although a formal language can be identified with its formulas, a formal system cannot be likewise identified by its theorems. | Embora uma linguagem formal possa ser identificada com as suas fórmulas, um sistema convencional pode não ser igualmente identificado pelos seus teoremas. |
| Conversely, formal arguments are studied in formal logic (historically called symbolic logic , more commonly referred to as mathematical logic today) and are expressed in a formal language. | Argumentos Formais são estudados na lógica formal (historicamente chamada lógica simbólica, mais comumente referida como lógica matemática) e são expressos em uma linguagem formal. |
| A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer. | Uma linguagem de programação é um método padronizado para comunicar instruções para um computador. |
| History The first formal language is thought be the one used by Gottlob Frege in his Begriffsschrift (1879), literally meaning concept writing , and which Frege described as a formal language of pure thought. | História Acredita se que a primeira linguagem formal seja a utilizada por Gottlob Frege em seu Begriffsschrift (1879), que literalmente significa escrita conceito , e que Frege descreveu como uma linguagem formal do pensamento puro . |
| This technique is particularly effective in domains where formal or formulaic language is used. | Esta técnica é especialmente eficaz em domínios onde a língua formal ou formulaica é usada. |
| (Determinization) For a given formal language, what is the smallest automaton that recognizes it? | (determinização) Para uma dada linguagem formal, qual é o menor autômato que a reconhece? |
| By an abuse of the definition, a particular formal language is often thought of as being equipped with a formal grammar that describes it. | Por um abuso de definição, uma particular linguagem formal é muitas vezes considerada como sendo equipada com uma gramática formal que a descreve. |
| While formal language theory usually concerns itself with formal languages that are described by some syntactical rules, the actual definition of the concept formal language is only as above a (possibly infinite) set of finite length strings composed from a given alphabet, no more nor less. | Enquanto a teoria da linguagem formal, geralmente se preocupa com linguagens formais que são descritas por algumas regras sintáticas, a própria definição do conceito de linguagem formal é apenas como mencionado acima um (possivelmente infinito) conjunto de cadeias de tamanho finito, composto de um determinado alfabeto, nem mais nem menos. |
| Therefore, formal language theory is a major application area of computability theory and complexity theory. | Portanto, a teoria da linguagem formal é uma grande área de aplicação da teoria da computabilidade e teoria da complexidade. |
| The formal language of heraldry, called blazon, employs French terms to describe the images precisely. | A linguagem formal de heráldica, chamada blazon, emprega termos franceses para descrever as imagens com precisão. |
| An automaton is a finite representation of a formal language that may be an infinite set. | Um autômato é uma representação finita de uma linguagem formal que pode ser um conjunto infinito. |
| Formal definition The collection of regular languages over an alphabet Σ is defined recursively as follows The empty language Ø is a regular language. | Definição formal A coleção de linguagens regulares sobre um alfabeto Σ qualquer é definida recursivamente seguindo as regras abaixo A linguagem vazia (L Ø) é uma linguagem regular. |
| A formal system (also called a logical calculus , or a logical system ) consists of a formal language together with a deductive apparatus (also called a deductive system ). | Um sistema formal (também chamado de cálculo lógico, ou um sistema lógico) é constituído por uma linguagem formal, juntamente com um sistema dedutivo (também denominado aparato dedutivo). |
| It's a precise specification with a precise formal language that causes Mathematica to know what to do here. | É uma especificação precisa com uma linguagem formal precisa que faz Mathematica saber o que fazer nesses casos. |
| Studies show that people who are overdetermined in their denial will resort to formal rather than informal language. | Estudos mostram que pessoas exageradamente determinadas em sua negação recorrem à linguagem formal no lugar da linguagem informal . |
| Homomorphisms and e free homomorphisms in formal language theory Homomorphisms are also used in the study of formal languages (although within this context, often they are briefly referred to as morphisms). | Homomorfismos e e livre homomorfismo na teoria da línguagem formal Homomorfismos são também usados no estudo de linguagem formals (embora dentro deste contexto, muitas vezes eles são brevemente referidos aos morfismos). |
| We call a theory a set of sentences in a formal language, and model of a theory a structure (e.g. | Um modelo é definido formalmente no contexto de alguma linguagem L (ou alguma assinatura). |
| Language specification formalisms Formal language theory rarely concerns itself with particular languages (except as examples), but is mainly concerned with the study of various types of formalisms to describe languages. | Linguagem especificações formalismos A Teoria da linguagem formal, raramente se preocupa com determinadas línguas (exceto como exemplos), mas está preocupada principalmente com o estudo de vários tipos de formalismos para descrever línguas. |
| The notion of a formal grammar may be closer to the intuitive concept of a language, one described by syntactic rules. | A noção de uma gramática formal pode estar mais perto do conceito intuitivo de uma linguagem , que é descrita por regras sintáticas. |
| Formal and informal Informal arguments as studied in informal logic , are presented in ordinary language and are intended for everyday discourse. | Argumentos formais e argumentos informais Argumentos informais são estudados na lógica informal. |
| Accepting word A word w Σ is accepted by the automaton if qn F. Recognized language An automaton can recognize a formal language. | Palavra de aceitação Uma palavra w Σ é aceita pelo autômato se qn F. Linguagem reconhecida Um autômato pode reconhecer uma linguagem. |
| This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language. | Isso não esvazia a noção de lógica informal, porque nenhuma lógica formal captura todas as nuances da língua natural. |
| Some sound changes have been left out of the formal language, such as the irregularization of some common verbs by assimilation, e.g. | A língua finlandesa é um idioma da família de línguas urálicas do grupo fino permiano, ao qual também pertencem o húngaro e o estoniano. |
| Its pronunciation is based on the Beijing dialect of Mandarin, which was traditionally the formal version of the Mandarin or Chinese language. | Línguas A língua oficial padrão da República Popular da China é o putonghua , cuja pronúncia é baseada no dialeto pequinês do mandarim. |
| Definition A formal language L over an alphabet Σ is a subset of Σ , that is, a set of words over that alphabet. | Definição Uma linguagem formal de L sobre um alfabeto Σ é um subconjunto de Σ , isto é, um conjunto de palavras sobre um alfabeto. |
| Formal logic is the study of inference with purely formal content. | Lógica formal é o estudo da inferência com conteúdo puramente formal. |
| The study of interpretations of formal languages is called formal semantics. | O estudo das interpretações de linguagens formais é chamado de semântica formal. |
| Interpretations and models Formal languages are entirely syntactic in nature but may be given semantics that give meaning to the elements of the language. | Interpretações e modelos Linguagens formais são totalmente sintáticas por natureza, mas podem ser dada semânticas que dão sentido aos elementos da linguagem. |
| Today, Spanish is spoken by some 83.9 of the population, and is the language used by government, media, and in education and formal commerce. | Idiomas Em 2007, o espanhol era a primeira língua de 83,9 dos peruanos a partir de cinco anos de idade, sendo a principal língua do país. |
| When language is used, prayer may take the form of a hymn, incantation, formal creedal statement, or a spontaneous utterance in the praying person. | Quando a linguagem é usada, a oração pode assumir a forma de um hino, encantamento, declaração de credo formal, ou uma expressão espontânea, da pessoa fazendo a oração. |
| Interestingly, Chomsky argues that modeling some aspects of human language requires a more complex formal grammar (as measured by the Chomsky hierarchy) than modeling others. | De maneira interessante, Chomsky argumenta que a modelagem de alguns aspectos de linguagem humana necessita de uma gramática formal mais complexa (complexidade medida pela hierarquia de Chomsky) que a modelagem de outros aspectos. |
| He realized that the first step would have to be a clean formal language, and much of his subsequent work was directed towards that goal. | Ele percebeu que o primeiro passo teria que ser uma linguagem formal precisa, e muito do seu trabalho subsequente foi nesse sentido. |
| He also developed Hoare logic for verifying program correctness, and the formal language Communicating Sequential Processes (CSP) to specify the interactions of concurrent processes (including the dining philosophers problem) and the inspiration for the occam programming language. | Ele também desenvolveu a Lógica de Hoare e a linguagem formal CSP, usada para especificar interações entre processos concorrentes e que serviu de inspiração para a linguagem de programação Occam. |
| Conformity to formal requirements | Cumprimento dos requisitos formais |
| Chomsky hierarchy Chomsky is famous for investigating various kinds of formal languages and whether or not they might be capable of capturing key properties of human language. | Hierarquia de Chomsky Chomsky é famoso por pesquisar vários tipos de linguagens formais procurando entender se poderiam ser capazes de capturar as propriedades chave das línguas humanas. |
| Logician and philosopher Alfred Tarski developed the theory for formal languages (such as formal logic). | O lógico e filósofo Alfred Tarski desenvolveu a teoria das linguagens formais (como lógica formal). |
| A formal proof is a complete rendition of a mathematical proof within a formal system. | Uma prova formal é uma interpretação de uma prova matemática dentro de um sistema formal. |
| This delegation made a formal request to the International Association of Academies in Vienna to select and endorse an international language the request was rejected in May 1907. | História Esta delegação fez um pedido formal à International Association of Academies (Associação Internacional das Academias) em Viena para selecionar e aprovar uma língua internacional o pedido foi rejeitado maio de 1907. |
Related searches : Formal Clothes - Formal Approach - Formal Garden - Formal Definition - Formal Proceedings - Formal Setting - Formal Rules - Formal Issues - Formal Recognition - Formal Claim - Formal Study - Formal Way
