Al leer el documento Una Introducción al Cálculo Lambda , me encontré con un párrafo que realmente no entendía, en la página 34 (mi cursiva): Dentro de cada uno de los dos paradigmas hay varias versiones de cálculo lambda mecanografiado. En muchos sistemas importantes, especialmente aquellos a...
Sea un conjunto no trivial de lenguajes recursivamente enumerables ( ) y L sea el conjunto de codificaciones de máquinas Turing que reconocen algún lenguaje en C : L = \ {\ langle M \ rangle \ mid L (M) \ en C \}CCC∅⊊C⊊RE∅⊊C⊊RE\emptyset \subsetneq C \subsetneq
Las máquinas de Turing tienen un alfabeto de símbolos formales , un estado y una descripción basada en reglas de transición de cómo se realiza un cálculo. El Modelo de actor a veces se menciona como un modelo computacional más poderoso que las máquinas de Turing (no en lo que puede calcular, sino...
Quisiera su ayuda para probar que el lenguaje es decidible iff .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Si , entiendo que es el lenguaje de las máquinas de Turing vacías. Entonces es un...
Estoy tratando de enseñarme la teoría de la computabilidad con un libro de texto. Según mi libro, una funciónFff sobre un alfabeto A = { a , b , c , d, e , f, g, h , i , j , k , l , m , n , o , p , q, r , s , t , u , v , w , x , y, z}A={a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z}A=\{a, b,...
Dado n∈Nn∈Nn \in \mathbb{N} y p,q∈N[x1,…,xn]p,q∈N[x1,…,xn]p,q \in \mathbb{N}[x_1,\ldots,x_n] se puede definir la siguiente fórmula en el lenguaje de la aritmética formal φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))φ(n,p,q)=∀x1⋯∀xn:¬(p(x1,…,xn)=q(x1,…,xn))\varphi(n,p,q) = \forall x_1 \cdots \forall...
Si tiene un lenguaje L, sin hacer ninguna prueba, ¿hay alguna manera de saber si es reconocible, co-reconocible o decidible? Básicamente, cualquier pista o truco que se pueda usar para contar. ¿O tal vez los patrones comunes a buscar para saber de qué tipo
¿Nuestra PC funciona como máquina de Turing? El modelo de una máquina de Turing consiste en una cinta de memoria infinita, que significa estados infinitos. Pero supongamos que si nuestra PC tiene 128 MB de memoria y 30 GB de disco, tendría 256 ^ 30128000000 estados y, por lo tanto, tiene estados...
Estoy tratando de entender (intuitivamente) los dos términos "capacidad de decisión" y "capacidad de verificación". He realizado una cantidad razonable de búsqueda y revisión de los diversos textos que puedo tener en mis manos. Sin embargo, su comprensión intuitiva parece escapar de mí,...
Como he estudiado, decidir la regularidad de los lenguajes libres de contexto es indecidible. Sin embargo, podemos probar la regularidad utilizando el teorema de Myhill-Nerode que proporciona una condición necesaria y suficiente. Entonces el problema debería ser decidible. ¿Dónde está mi...
¿Es posible minimizar los autómatas pushdown? Si no, ¿por qué? ¿Es porque para minimizar las clases de equivalencia deben tener un índice finito y no podemos garantizarlo para
Según la tesis de Church-Turing, es imposible diseñar un algoritmo para decidir el problema de detención. ¿La palabra algoritmo en este contexto incluye inteligencia artificial o no, es decir, la tesis de Church-Turing también se aplica a la inteligencia artificial? ¿Es posible diseñar un...
Por ejemplo, podemos decir que tenemos un programa abstracto que, dada una cadena binaria finita como entrada, elimina todos los ceros (es decir, 0010001101011 se evalúa como 111111), que definitivamente es una función computable de Turing. ¿Cómo puede un sistema de etiquetas cíclicas calcular...
Quiero determinar si este problema de decisión es decidible. He intentado establecer reducciones de Alto y "Acepta cadena vacía", pero aún no he encontrado una solución. ¿Alguien me puede
Que yo sepa, el problema de detención pregunta si existe un programa que decida si un programa que se está probando, dados algunos datos de entrada (no importa qué programa sea, o qué datos de entrada proporcionamos) terminará o no. La respuesta a este problema es 'no'. En otras palabras, no existe...
Si es computable y tiene un inverso, ¿bajo qué condiciones es también computable? No pude encontrar eso en un libro de texto, y googlear tiene algunas sugerencias vagas sobre bijective, pero no pude encontrar un teorema claramente establecido a tal efecto. De antemano, el bijective parece...
¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de
Cuando leí sobre la tesis de la Iglesia-Turing, parece ser una afirmación común de que "la realidad física es computable por Turing". ¿Cuál es la base de este reclamo? ¿Hay algún resultado teórico en este sentido? Por contexto, soy un investigador que trabaja en simulaciones físicas, así que, por...
Considere los términos construidos a partir de elementos de y las operaciones y para cada número natural . Dada la promesa de que dos términos están bien formados, es decir, no hay división por cero y ni siquiera raíces de números negativos, ¿existe un algoritmo que decida cuándo los dos términos...
La teoría del dominio ofrece una teoría sorprendente de la computabilidad en presencia de tipos simples. Pero cuando se agrega el polimorfismo paramétrico, no parece haber una buena teoría que explique qué está pasando tan bien como la teoría del dominio explica la computación sobre tipos simples....