Ejemplos de uso de Finite automaton en Inglés y sus traducciones al Español
{-}
-
Colloquial
-
Official
The two cases above make the finite automaton described non-deterministic.
Los dos casos anteriores configuran al autómata finito no determinista.An automaton with a finite number of states is called a Finite Automaton.
Un For every NFA a deterministic finite automaton(DFA) can be found that accepts the same language.
Tanto para un AFND como para un autómata finito determinista(AFD) se puede aceptar el mismo lenguaje.The most standard variant, which is described above,is called a deterministic finite automaton.
La variante más estándar,que se describe más arriba, se llama un autómata finito determinista.For a nondeterministic finite automaton(NFA), a new input may cause the machine to be in more than one state, hence its non-determinism.
Para un autómata finito no determinista(AFND), una nueva entrada puede causar que la máquina esté en más de un estado, dado que es no determinista.We can use Thompson's Construction to find out a Finite Automaton from a Regular Expression.
Podemos utilizar la construcción de Thompson para averiguar un Autómata Finito de una expresión regular.Examples of particular abstract machines which are deterministic include the deterministic Turing machine and deterministic finite automaton.
Ejemplos de máquinas abstractas deterministas son las máquinas de Turing deterministas y los autómatas finitos deterministas.A regular language is defined as a(finite or infinite)set of strings that can be described by one of the mathematical formalisms called"finite automaton","regular grammar", or"regular expression", all of which have the same expressive power.
Un lenguaje regular se define comoun conjunto(finito o infinito) de cadenas que pueden describirse mediante uno de los formalismos matemáticos llamado"autómata finito","gramática regular" o"expresión regular", que tienen el mismo poder expresivo.Other variants on the standard Turing machine model that yield small UTMs include machines with multiple tapes or tapes of multiple dimension, andmachines coupled with a finite automaton.
Otras variantes en el modelo de máquina de Turing estándar que dieron UTMs pequeñas incluyen máquinas con múltiples cintas o cintas de múltiples dimensiones ymáquinas acopladas con un autómata finito.In theoretical computer science, the separating words problem is the problem of finding the smallest deterministic finite automaton that behaves differently on two given strings, meaning that it accepts one of the two strings and rejects the other string.
En la teoría computacional, el problema de separar palabras es el problema de encontrar el autómata finito determinista más pequeño que se comporta de manera diferente en dos cadenas dadas, lo que significa que acepta una de las dos cadenas y rechaza la otra.Special cases include the undecidability of whether a Turing machine accepts a particular string, whether a Turing machine recognizesa particular recognizable language, and whether the language recognized by a Turing machine could be recognized by a nontrivial simpler machine, such as a finite automaton.
Los casos especiales incluyen la indecidibilidad de si una máquina de Turing acepta una cadena particular, si una máquina de Turing reconoce un lenguaje reconocible particular, y siel lenguaje reconocido por una máquina de Turing podría ser reconocido por una máquina no trivial más simple, tal como un autómata finito.The first projection, π 1{\displaystyle\pi_{1}} is defined as follows: Given a transducer T,there exists a finite automaton π 1 T{\displaystyle\pi_{1}T} such that π 1 T{\displaystyle\pi_{1}T} accepts x if and only if there exists a string y for which x y.{\displaystyle xy.} The second projection, π 2{\displaystyle\pi_{2}} is defined similarly.
La primera projección( π 1{\displaystyle\pi_{1}}) se define como sigue: Dado un transductor T,existe un autómata finito π 1 T{\displaystyle\pi_{1}T} tal que π 1 T{\displaystyle\pi_{1}T} acepta x si y solo si existe una cadena y de forma que x y{\displaystyle xy.The following operations defined on finite automata also apply to finite transducers: Union.
Las siguientes operaciones definidas en autómatas finitos también se aplican a los transductores: Unión.Finite automata and their decision problems.
Finite Automata and Their Decisión Problem.Deterministic finite automata, non-deterministic finite automata, finite automata with lambda-transitions, equivalence between automata models, operations on automata, minimization of automata. .
Autómatas finitos deterministas, autómatas finitos indeterministas, autómatas finitos con lambda-transiciones, equivalencia entre modelos de Quantum finite automata Quantum Hall effect Watrous, John(1995),"On one-dimensional quantum cellular automata", Proc.
Autómatas finitos cuánticos In this model, the probability of each word only depends on that word's own probability in the document,so we only have one-state finite automata as units.
En este modelo, la probabilidad de acertar cada palabra dependepor completo de sí, por lo que sólo tenemos autómatas finitos de un estado como unidades.Dupont et al. have shown that the set of all structurally complete finite automata generating a given input set of example strings forms a lattice, with the trivial undergeneralized and the trivial overgeneralized automaton as bottom and top element, respectively.
Dupont et al. ha demostrado que el conjunto de todos los autómatas finitos estructuralmente completos que generan un conjunto de cadenas de ejemplo dado forma un enrejado, con el In 1959, he published a joint paperwith Michael O. Rabin, a colleague from Princeton, titled Finite Automata and Their Decision Problem(Scott and Rabin 1959) which introduced the idea of nondeterministic machines to automata theory.
En 1959 publicó un artículo junto con Michael O. Rabin, un colega de Princeton,titulado Finite Automata and Their Decisión Problem(Autómatas Finitos y el Problema de su Decidibilidad), que introdujo la idea de las máquinas no determinísticas en el campo de la teoría de Solutions to Znám's problem have applications to the classificationof surface singularities(Brenton and Hill 1988) and to the theory of nondeterministic finite automata.
Las soluciones del problema de Znám tienen aplicaciones en la clasificación de singularidades de superficies(Brenton y Hill, 1988)y en la teoría de los autómatas finitos no determinísticos Domaratzki et al.In 1976, the Turing Award was awarded jointly to Rabin and Dana Scott for a paper written in 1959,the citation for which states that the award was granted: For their joint paper"Finite Automata and Their Decision Problems," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept.
El texto en el que se concede el Premio Turing de 1976 conjuntamente a Rabin y Dana Scott por un artículo escrito en 1959, afirma que el galardón fue concedido:Por su artículo"Finite Automata and Their Decision Problem"(del inglés,"Autómatas Finitos y el Problema de su Decisibilidad"), que introdujo la idea de las máquinas no deterministas, un concepto enormemente valioso, como se probaría más adelante.These languages are exactly all languages that can be decided by a finite state automaton.
Estos lenguajes son aquellos que pueden ser aceptados por un autómata finito.If storing dictionary words is all that is required(i.e., storage of information auxiliary to each word is not required), a minimal deterministic acyclic finite state automaton(DAFSA) would use less space than a trie or a ternary search tree.
Si sólo se necesita el almacenamiento de las palabras(p.ej. no se necesita almacenar información auxiliar de las palabras del diccionario) un autómata finito determinista acíclico mínimo usa menos espacio que Parser generators use a formal grammar to parse an input stream,something which Lex cannot do using simple regular expressions Lex is limited to simple finite state automata.
Yacc utiliza una gramática formal para analizarun flujo de entradas, algo que Lex no puede hacer con expresiones regulares simples Lex se limita a los autómatas de estados finitos simples.
