Preguntas etiquetadas con turing-machines

Estoy tratando de vincular circuitos lógicos combinacionales (computadoras basadas solo en puertas lógicas) con todo lo que aprendí recientemente en Teoría de la Computación. Me preguntaba si los circuitos lógicos combinacionales pueden implementar cálculos de la misma manera que las máquinas de estados finitos. Parecen radicalmente diferentes: Las máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

Tengo un pequeño problema para entender la prueba del Teorema de la Jerarquía del Tiempo (Hennie y Stearns, 1966) que asegura la existencia de un lenguaje aceptable en pero no aceptable en para cualquier función , de modo que sea ​​construible en el tiempo yU( n )U(norte)U(n)T( n )T(norte)T(n)T( n …

8 complexity-theory  turing-machines  simulation 

¿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, …

8 complexity-theory  computability  turing-machines  automata 

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 \mathrm{RE}LLLCCCL={⟨M⟩∣L(M)∈C}L={⟨M⟩∣L(M)∈C}L=\{\langle M \rangle …

8 computability  turing-machines 

Estoy tratando de atacar a TAOCP una vez más, dada la gran pesadez literal de los volúmenes que tengo problemas para comprometerme en serio. En TAOCP 1 Knuth escribe, página 8, conceptos básicos :: Dejar AAAser un conjunto finito de letras. DejarA∗A∗A^* ser el conjunto de todas las cadenas en …

7 formal-languages  turing-machines  computation-models