Estoy haciendo una presentación sobre las máquinas Turing y quería dar algunos antecedentes sobre los FSM antes de presentar las máquinas Turing. El problema es que realmente no sé qué es MUY diferente el uno del otro. Esto es lo que sé que es diferente: FSM tiene estados secuenciales...
Sea una función fija construible en el tiempo.fff El clásico resultado de la simulación universal para TMs (Hennie y Stearns, 1966) establece que hay una TM dos cintas tal queUUU la descripción de un TM , y⟨M⟩⟨M⟩\langle M \rangle una cadena de entrada ,xxx corre por pasos y devuelve la...
De Wikipedia sobre algoritmos aleatorios Hay que distinguir entre algoritmos que usan la entrada aleatoria para reducir el tiempo de ejecución esperado o el uso de memoria, pero siempre terminan con un resultado correcto en una cantidad limitada de tiempo, y algoritmos probabilísticos , que,...
Cuando se informa la complejidad algorítmica de un algoritmo, se supone que los cálculos subyacentes se realizan en alguna máquina abstracta (por ejemplo, RAM) que se aproxima a una CPU moderna. Dichos modelos nos permiten informar la complejidad de algoritmos en el tiempo y el espacio. Ahora, con...
En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...
La pregunta es el ejercicio 1.9 del libro de Arora-Barak Complejidad computacional: un enfoque moderno : Defina una máquina RAM Turing para que sea una máquina Turing que tenga memoria de acceso aleatorio. Formalizamos esto de la siguiente manera: la máquina tiene una matriz infinita A que se...
Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente...
¿Qué modelo teórico paralelo es más cercano al modelo de programación CUDA / OpenCL? Por ejemplo, se ajusta en cierto grado al modelo genérico de Máquina de acceso aleatorio paralelo (PRAM). Sin embargo, eso es demasiado genérico, ya que hace abstracción de varias latencias de acceso a memoria y...