Low quality sentence examples
En teoría de la computabilidad, uno de los problemas básicos no decidibles es el de decidir si una máquina de Turing determinista(DTM) se detieneproblema de la parada.
In computability theory, one of the basic undecidable problems is the halting problem: deciding whether a deterministic Turing machine(DTM) halts.Teoría de la Computabilidad y teoría de la recursión Teoría de conjuntos Un conjunto puede ser pensado como si fuera una colección de objetos distintos unidas por una cierta característica común.
Set theory A set can be thought of as a collection of distinct things united by some common feature.El teorema de Matiyasevich/MRDP relaciona dos conceptos, uno procedente de la teoría de la computabilidad, y el otro de la teoría de números, y tiene algunas consecuencias inesperadas.
The Matiyasevich/MRDP Theorem relates two notions- one from computability theory, the other from number theory- and has some surprising consequences.En el transcurso de ese año, Gödel también desarrolló ideas sobre la computabilidad y la función recursiva, e impartió una conferencia sobre dichas funciones y sobre el concepto de verdad.
During this year, Gödel also developed the ideas of computability and recursive functions to the point where he was able to present a lecture on general recursive functions and the concept of truth.En la teoría de la computación, las máquinas abstractas con frecuencia son usadas en experimentos de pensamiento sobre computabilidad o para analizar la complejidad de algoritmos ver la teoría de la complejidad computacional.
In the theory of computation, abstract machines are often used in thought experiments regarding computability or to analyze the complexity of algorithms see computational complexity theory.Las funciones computables son usadas para discutir sobre computabilidad sin referirse a ningún modelo de computación concreto, como el de la máquina de Turing o el de la máquina de registros.
Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.Teoría de la computabilidad- rama de la lógica matemática y ciencias de la computación que se originó en la década de 1930 con el estudio de las funciones computables y grados de Turing.
Computability theory- branch of mathematical logic and computer science that originated in the 1930s with the study of computable functions and Turing degrees.En teoría de la computabilidad se demuestra que las funciones recursivas son precisamente las funciones que pueden ser calculadas con el formalismo de cómputo más general conocido como lo son las máquinas de Turing.
In computability theory, it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines.Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más refinado de las clases de complejidad(¿cuándo es un problema eficientemente solucionable?) y de la clasificación de los grados de insolubilidad.
Today recursion theory is mostly concerned with the more refined problem of complexity classes-when is a problem efficiently solvable?-and the classification of degrees of unsolvability.A fin de fomentar la conformidad de las compras con los requisitos de computabilidad establecidos, el acuerdo de comercio compensatorio podría disponer que sólo se harán excepciones en las últimas fases del plazo de cumplimiento.
In order to foster efforts to comply with eligibility requirements, the countertrade agreement could limit the availability of an exception to the later stages of the fulfilment period.Jürgen Schmidhuber también ha denunciado que su trabajo en la física de la computabilidad de la máquina de Turing fue tomado sin atribución; es decir, su idea sobre la enumeración de posibles universos de Turing computables.
Jürgen Schmidhuber has also charged that his work on Turing machine-computable physics was stolen without attribution, namely his idea on enumerating possible Turing-computable universes.A su vez, la imposición de restricciones sobre estos recursos, es lo que la distingue de la teoría de la computabilidad, la cual se preocupa por qué tipo de problemas pueden ser resueltos de manera algorítmica.
In turn, imposing restrictions on the available resources is what distinguishes computational complexity from computability theory: the latter theory asks what kind of problems can, in principle, be solved algorithmically.Shavit es co-autor del libro The Art of Multiprocessor Programming, y ganador en 2004 del Premio Gödel en informática teórica por su trabajo en herramientas de topología algebraica como aplicación para la computabilidad de modelos de memoria compartida.
Shavit is a co-author of the book The Art of Multiprocessor Programming, is a winner of the 2004 Gödel Prize in theoretical computer science for his work on applying tools from algebraic topology to model shared memory computability, and a winner of the 2012 Dijkstra Prize for the introduction and first implementation of software transactional memory.En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.
In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer.El trabajo de Hilbert había empezado lógico en su camino a la clarificación; la necesidad de entender el trabajo de Gödel llevó entonces al desarrollo de la teoría de la computabilidad y después de la lógica matemática como disciplina autónoma en la década de 1930-1940.
Hilbert's work had started logic on this course of clarification; the need to understand Gödel's work then led to the development of recursion theory and then mathematical logic as an autonomous discipline in the 1930s.Ellos entran en las amplias categorías siguientes: La máquina abstracta, usada en pruebas de computabilidad y de los límites superiores en la complejidad computacional de algoritmos, y El modelo de árbol de decisión, usado en las pruebas de los límites más bajos en la complejidad computacional de problemas algorítmicos.
They fall into the following broad categories: abstract machine and models equivalent to it(e.g. lambda calculus is equivalent to the Turing machine), used in proofs of computability and upper bounds on computational complexity of algorithms, and decision tree models, used in proofs of lower bounds on computational complexity of algorithmic problems.En matemáticas y teoría de computabilidad, un autómata celular elemental es un autómata celular unidimensional donde hay dos estados posibles(etiquetados 0 y 1) y la regla para determinar el estado de una célula en la próxima generación depende solo del estado actual de la célula y sus dos vecinos inmediatos.
In mathematics and computability theory, an elementary cellular automaton is a one-dimensional cellular automaton where there are two possible states(labeled 0 and 1) and the rule to determine the state of a cell in the next generation depends only on the current state of the cell and its two immediate neighbors.Ha trabajado en temas de lógica de primer y de segundo orden, de teoría axiomática de conjuntos, de computabilidad y complejidad. Ha mostrado que la digitalización uniforme de cada tipo de objeto simbólico(como cromosomas, textos, imágenes, películas o composiciones musicales) puede ser considerada como la implementación de cierto sistema posicional de numeración.
He has shown how the uniform digitalization of each type of symbolic object(such as chromosomes, texts, pictures, movies or pieces of music) can be considered to implement a certain positional numbering system.semi-decidibilidad, computabilidad.
semi-decidability(recursive enumerability), computability.Editar La Universidad y sus estudios sobre computabilidad.
Edit University and work on computability.
