Preguntas etiquetadas con turing-machines

Deje una cadena de entrada como . Luego, si un NFA se encuentra actualmente en el estado r (y ha leído la entrada hasta el alfabeto w i ), antes de leer el siguiente símbolo de entrada, el NFA se divide en dos NFA, uno en el estado r y …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Parece recordar de una clase de pregrado que para una máquina de Turing con una cinta finita siempre existirán los autómatas estatales finitos correspondientes, pero no he podido encontrar esto confirmado en ningún lugar de Internet. ¿Es este realmente el caso o estoy recordando mal?

9 turing-machines  finite-automata 

Una función booleana es una función .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Se sabe que la base booleana es Turing completa ya que permite que cualquier secuencia se voltee o se deje sin cambios. Lo mismo puede decirse de las puertas .s ∈ { 0 , 1 } X O R(∨,∧)(∨,∧)(\vee,\wedge)s∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} En este sentido, podemos …

9 turing-machines  turing-completeness  boolean-algebra 

En una pregunta anterior ¿ Qué es exactamente un algoritmo? , Pregunté si tener un "algoritmo" que devuelve el valor de una función basada en una matriz de valores calculados previamente era un algoritmo. Una de las respuestas que me llamó la atención fue esta: El ejemplo factorial se introduce …

9 turing-machines  computation-models 

En la universidad hemos estado aprendiendo sobre la teoría de la computación en general y las máquinas de Turing más específicamente. Uno de los grandes resultados teóricos es que, a costa de un alfabeto (símbolos) potencialmente grande, puede reducir el número de estados a solo 2. Estaba buscando ejemplos de …

9 turing-machines  context-free  parsers 

Al leer esta pregunta " Problemas naturales indecidibles de RE pero no completos de Turing ", me vino a la mente el siguiente lenguaje: Si es la función de castor ocupado (puntaje máximo alcanzable entre todas las máquinas Turing de 2 símbolos de estado n detenidas del tipo descrito anteriormente, …

9 computability  turing-machines 

¿Por qué los números computables (en el sentido de Turing) son enumerables? Debe ser muy obvio, pero actualmente no lo estoy viendo.

9 computability  turing-machines  enumeration 

¿Es una máquina de Turing que puede leer y escribir símbolos de un alfabeto infinito más poderosa que una TM normal (esa es la única diferencia, la máquina todavía tiene un número finito de estados)? La intuición me dice que no, ya que necesitas un número infinito de estados para …

9 computability  turing-machines  reductions  simulation 

Me gustaría usar su ayuda con el siguiente problema: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Muestre que .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Sé que para probar , es suficiente encontrar un lenguaje tal que y mostrar que hay una reducción de a .L∉REL∉REL\notin REL′L′L'L′∉REL′∉REL'\notin …

9 formal-languages  computability  context-free  turing-machines 

En la década de 1950 se inventaron varios métodos para la minimización de circuitos para funciones booleanas . ¿Existe una extensión de esos métodos o algo similar para optimizar el tiempo o la complejidad espacial de los algoritmos? Por ejemplo, una implementación de clasificación de burbujas como entrada para dicho …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

En primer lugar, me disculpo si se me ha preguntado esto, pero realmente no encontré nada. Me he topado con este artículo . Dice que hay un problema que solo las computadoras cuánticas pueden resolver. Según tengo entendido, esto debería significar, intuitivamente, que este problema es "efectivamente computable", ya que …

8 turing-machines  quantum-computing  church-turing-thesis 

En los últimos dos años, construí una computadora mecánica impulsada por canicas e hice un juego con ella. Es similar al antiguo Digi-Comp II, excepto por dos diferencias clave: Las piezas son reposicionables en el tablero. Puede conectar múltiples 'bits' juntos usando engranajes. Cuando uno de estos bits se voltea, …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Acabamos de terminar nuestra clase de "Construcibilidad de tiempo" en clase la semana pasada y, por el bien de nosotros, mostramos que nk,2nnk,2nn^k, 2^n son completamente construibles en el tiempo, es decir, existe una máquina de Turing (determinista de múltiples cintas) que para nnn dado, se detiene después de exactamente …

8 complexity-theory  turing-machines  time-complexity 

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 ayudar?

8 computability  turing-machines  undecidability 

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 esto (que puede hacerlo, por definición …

8 computability  turing-machines