Resultados de la búsqueda

…clases de complejidad pueden ser organizadas en una '''jerarquía de clases de complejidad acotadas por espacio'''. …ndo a lo sumo ''S''(''n'') casillas además de la entrada, para una entrada de longitud ''n''. …

…r Bounded Automaton''),o ALA es un [[autómata]] similar a una [[máquina de Turing]] [[Sistema determinista|determinista]]. …ncia entre las [[Gramática formal|gramáticas]] de tipo 0 y las Máquinas de Turing. …

…nas, y en particular acerca de la [[Problema indecidible|indecidibilidad]] de diversos [[Lenguaje formal|lenguajes formales]]. …co)|autómata]] formal. Cada configuración describe completamente el estado de la máquina en un punto particular. Para ser válida, ciertas condiciones deb …

…[[Teorema de Savitch]], esta clase es igual a la que considera máquinas de Turing no deterministas. Cuando se restringe ''p''(''n'') como una función lineal, En términos de [[DSPACE]], …

…en ser resueltos por una [[máquina de Turing]] determinista en '''espacio de polinomios''' (<math>S(n) = a_{k} n^{k} + a_{k-1} n^{k-1} + \dots + a_{0}… …l polinómica, también se puede resolver mediante un algoritmo determinista de complejidad espacial polinómica. …

…las [[Máquina de Turing|máquinas de Turing]] es un [[teorema]] de [[teoría de la complejidad computacional]], que se puede enunciar: |1= Dado ''c'' > 0 y cualquier máquina de Turing que resuelve un problema en tiempo <math>f(n)\,</math>, hay otra máquina qu …

…número finito de pasos cuando es ejecutada usando <math>w</math> como dato de entrada. …(no computable o no recursivo)]], en el sentido de que ninguna máquina de Turing lo puede resolver. …

{{Ficha de lenguaje de programación |paradigma = [[Lenguaje de programación esotérico|Esotérico]] …

…nowiki>, <nowiki>{{0, 1, 0}, {0, 1, 1}}</nowiki>} se muestra en 8342 pasos de tiempo.]] …el tiempo en el que ese mismo problema es resuelto por una MT determinista de una sola cinta. …

…evaluar correctamente cada enunciado]] de la [[Axiomas de Peano|aritmética de Peano]]. …ring no puede y que, por tanto, no son computables en el sentido de Church-Turing. …

{{Teoría de autómatas}}{{Referencias|t=20180128172701}} …que son capaces de reconocer. También son de gran utilidad en la [[teoría de la complejidad computacional]]. …

…o el [[teorema de Rice–Shapiro]]. Básicamente se puede enunciar el teorema de la siguiente manera: …ingularidad.wordpress.com/2007/05/07/turing-en-una-cascara-de-nuez-teorema-de-rice-o-porque-ningun-antivirus-sera-fiable-al-100/</ref>}} …

…]]. Informalmente, estos teoremas dicen que con más tiempo, una máquina de Turing puede resolver más problemas. Por ejemplo, hay problemas que pueden ser sol El teorema de la jerarquía temporal para [[máquina de Turing|máquinas de Turing deterministas]] fue probado por [[Richard Stearns]] y [[Juris Hartmanis]].< …

…ring]] o [[cálculo lambda|cálculo-λ]], de acuerdo con la [[tesis de Church-Turing]]. == Definición informal utilizando Máquinas de Turing == …

{{Teoría de autómatas}} …de complejidad]] [[NP (clase de complejidad)|NP]] y [[co-NP]]. El concepto de una ATM fue establecido por Chandra y [[Larry Stockmeyer|Stockmeyer]] en 19 …

…'', '''parcialmente decidible''', '''enumerable''', '''demostrable''' o '''Turing-reconocible''' si: …te un [[algoritmo]] que se detiene exactamente para los números de entrada de ''S''. …

{{Formato de referencias|t=20200729230746}} …mero natural|números naturales]] que ocurren como el tamaño de un [[teoría de modelos finitos|modelo finito]] en el que una [[Sentencia (lógica)|sentenci …

…ecíficamente, las funciones que pueden ser calculadas por una [[máquina de Turing]]. …e computación, pero todas las definiciones válidas producen la misma clase de funciones. …

…9}}</ref> Es el análogo cuántico a la clase de complejidad '''[[BPP (clase de complejidad)|BPP]]'''. …ritmo resolverá correctamente el problema de decisión con una probabilidad de al menos 2/3. …

…da]] y que el [[Entscheidungsproblem]], resulta útil para realizar pruebas de indecidilidad. …ado un diccionario bilingüe que contiene pares de frases, es decir, listas de palabras, que significan lo mismo, decidir si existe una frase que signific …