Translation of "máquina de estados finitos" to English language:
Dictionary Portuguese-English
Máquina - tradução :
Examples (External sources, not reviewed)
| O exemplo da figura 3 mostra uma máquina de estados finitos que aceita a palavra nice . | The example in figure 4 shows a finite state machine which accepts the string nice . |
| O conceito é concebido como uma máquina abstrata que deve estar em um de seus finitos estados. | It is conceived as an abstract machine that can be in one of a finite number of states . |
| A figura ao lado ilustra uma máquina de estados finitos, que pertence a uma variedade bem conhecida de autômato. | The figure at right illustrates a finite state machine, which belongs to one well known variety of automaton. |
| Uma máquina de estados finitos é uma máquina de Turing restrita em que a cabeça só pode ler as operações, e sempre se move da esquerda para a direita. | A finite state machine is a restricted Turing machine where the head can only perform read operations, and always moves from left to right. |
| Estados Estados finitos Um autômato que contém apenas um número finito de estados. | Such an automaton is called an infinite tree automaton States Finite states An automaton that contains only a finite number of states. |
| Uma máquina de estados finitos (FSM do inglês Finite State Machine ) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos. | A finite state machine (FSM) or finite state automaton (plural automata ), or simply a state machine, is a mathematical model of computation used to design both computer programs and sequential logic circuits. |
| A definição introdutória apenas descreve autômatos com números finitos de estados. | The above introductory definition describes automata with finite numbers of states. |
| Máquinas de estados finitos são uma classe de autômatos estudada na teoria dos autômatos e teoria da computação. | Finite state machines are a class of automata studied in automata theory and the theory of computation. |
| Programa de Análise de Elementos Finitos | Finite Element Analysis Program |
| Como conseqüência, elas são fechadas sob arbitrária estados finitos transduções, como quociente formula_9 com uma linguagem regular. | As a consequence they are closed under arbitrary finite state transductions, like quotient formula_9 with a regular language. |
| Gerador de mescla de elementos finitos em 3D | 3 D finite element mesh generator |
| Assim, ao menos alguns funcionalistas defendem que estados mentais são estados de uma máquina de Turing. | Epiphenomenalism regards one or more mental states as the byproduct of physical brain states, having no influence on physical states. |
| Bem como a métrica discreta há mais gerais discretos ou finitos espaços métricos e finitos espaços topológicos . | As well as the discrete metric there are more general discrete or finite metric spaces and finite topological spaces. |
| Os ordinais finitos (e cardinais finitos) são os números naturais 0, 1, 2..., já que quaisquer duas ordens de um conjunto finito são isomórficas de ordem. | The finite ordinals (and the finite cardinals) are the natural numbers 0, 1, 2, , since any two total orderings of a finite set are order isomorphic. |
| Claramente, o teorema é verdadeiro para conjuntos finitos. | Obviously, the theorem is true for finite sets. |
| Em particular, uma teoria ricamente desenvolvida é a dos grupos finitos, que culminou com a monumental classificação dos grupos simples finitos, completada em 1983. | A theory has been developed for finite groups, which culminated with the classification of finite simple groups announced in 1983. |
| Grupos abelianos finitos O teorema fundamental dos grupos abelianos finitos estabelece que todo grupo abeliano finito G pode ser expresso como a soma direta de subgrupos cíclicos de ordem prima. | Classification The fundamental theorem of finite abelian groups states that every finite abelian group G can be expressed as the direct sum of cyclic subgroups of prime power order. |
| Autômatos finitos são usados em processamento de texto, compiladores e projeto de hardware. | Finite automata are used in text processing, compilers, and hardware design. |
| Por exemplo, uma máquina de Turing descrevendo um algoritmo pode ter algumas centenas de estados, enquanto o autômato finito determinístico equivalente em uma dada máquina real tem quadrilhões. | For example, a Turing machine describing an algorithm may have a few hundred states, while the equivalent deterministic finite automaton (DFA) on a given real machine has quadrillions. |
| Teorema O conjunto de todos os subconjuntos finitos dos números naturais é contável. | Theorem The set of all finite subsets of the natural numbers is countable. |
| A máquina especial pode ser chamada de máquina universal. | However, the tape can be moved back and forth through the machine, this being one of the elementary operations of the machine. |
| Estados de aceitação (ou Estados Finais) Estados de aceitação são aqueles em que a máquina relata que a seqüência de entrada, como processadas até agora, é membro da linguagem que ela aceita. | Accept (or final) states Accept states (also referred to as accepting or final states) are those at which the machine reports that the input string, as processed so far, is a member of the language it accepts. |
| Cada estado tem de ser dividido em vários estados da máquina de Moore, uma para cada símbolo de saída incidente. | Every such state needs to be split in multiple Moore machine states, one for every incident output symbol. |
| Até então nós mencionamos somente ordinais finitos, que são os números naturais. | So far we have mentioned only finite ordinals, which are the natural numbers. |
| Na matemática discreta, conjuntos contáveis (incluindo conjuntos finitos) são o foco principal. | In discrete mathematics, countable sets (including finite sets) are the main focus. |
| Máquina de dinheiro. | This is all just about the money now. |
| Esta prova de consistência deve preferencialmente usar somente o raciocínio finitista sobre objetos matemáticos finitos. | This consistency proof should preferably use only finitistic reasoning about finite mathematical objects. |
| Uso Além de seu uso na modelagem de sistemas reativos aqui apresentados, autômatos de estados finitos são significativos em diversas áreas, incluindo engenharia elétrica, linguística, ciência da computação, filosofia, biologia, matemática e lógica. | Usage In addition to their use in modeling reactive systems presented here, finite state automata are significant in many different areas, including electrical engineering, linguistics, computer science, philosophy, biology, mathematics, and logic. |
| Para conjuntos finitos isso é fácil uma simples conta acha o número de elementos de um conjunto. | For finite sets this is easy one simply counts the number of elements a set has. |
| Por outro lado, Gödel sugeriu a possibilidade de dar consistentes provas finitasusando métodos finitos que não podem ser formalizados na aritmética de Peano, então ele parece ter tido uma visão mais liberal de quais métodos finitos podem ser permitidos. | On the other hand Gödel himself suggested the possibility of giving finitary consistency proofs using finitary methods that cannot be formalized in Peano arithmetic, so he seems to have had a more liberal view of what finitary methods might be allowed. |
| Na Teoria dos autômatos, um sub tópico da Ciência da computação teórica, um autômato finito determinístico também chamado máquina de estados finita determinística (AFD) é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada. | In automata theory, a branch of theoretical computer science, a deterministic finite automaton (DFA) also known as deterministic finite state machine is a finite state machine that accepts rejects finite strings of symbols and only produces a unique computation (or run) of the automaton for each input string. |
| JACK Máquina de Tempo | JACK Timemachine |
| Marvin Minsky descobriu, em 1962, uma máquina de Turing universal com 7 estados e 4 símbolos usando sistemas 2 tag. | Marvin Minsky discovered a 7 state 4 symbol universal Turing machine in 1962 using 2 tag systems. |
| Existe apenas um sistema finito de sequências finitas, como também existe apenas um sistema finito de subconjuntos finitos. | There are only countably many finite sequences, so also there are only countably many finite subsets. |
| Nela, ele descreveu uma máquina hipotética que ele chamou de máquina de computação universal , e que agora é conhecida como a máquina de Turing universal . | In it he described a hypothetical machine which he called a universal computing machine , and which is now known as the Universal Turing machine . |
| Os números de contagem são exatamente o que pode ser definido formalmente como os números cardinais finitos. | The counting numbers are exactly what can be defined formally as the finite cardinal numbers. |
| Até a década de 1980, as máquinas de pachinko eram aparelhos mecânicos que usavam sinos para indicar os diferentes estados da máquina. | Until the 1980s, pachinko machines were mechanical devices, using bells to indicate different states of the machine. |
| Em ciência da computação, máquinas de estados finitos são amplamente utilizados na modelagem do comportamento do aplicativo, design de sistemas digitais de hardware, engenharia de software, compiladores, protocolos de rede, e o estudo da computação e linguagens. | In computer science, finite state machines are widely used in modeling of application behavior, design of hardware digital systems, software engineering, compilers, network protocols, and the study of computation and languages. |
| De fato, está na máquina. | And it's actually in the machine. |
| Cliente de Máquina Fotográfica Digital | Digital Camera Client |
| Máquina de impressão em offset . | An offset printing machine . |
| Uma máquina automática de Lego! | A Lego vending machine! |
| A máquina parou de funcionar. | The machine has stopped functioning. |
| Máquina Digital | Digital Camera |
| Em ciência da computação, uma máquina de Turing universal (MTU) é uma máquina de Turing que consegue simular outra máquina de Turing arbitrária com uma entrada arbitrária. | In computer science, a universal Turing machine (UTM) is a Turing machine that can simulate an arbitrary Turing machine on arbitrary input. |
Pesquisas relacionadas : Estados Finitos - Volumes Finitos - Recursos Finitos - Recursos Finitos - Estados - Programa De Elementos Finitos - Modelo De Elementos Finitos - Simulação De Elementos Finitos - Malha De Elementos Finitos - Software De Elementos Finitos - Cálculo De Elementos Finitos - Método Dos Elementos Finitos - Estados Designados - Estados Signatários
