Simulador de máquina de Turing no determinista multicinta
Este artículo aborda cuestiones tanto teóricas como prácticas en Ciencias de la Computación (CS). Revisa Turing Machines (TMs), una clase fundamental de autómatas y presenta un simulador para una amplia variante de TMs: no determinista con múltiples cintas. El no determinismo se simula mediante una búsqueda en amplitud (BFS) del árbol de cálculo. El simulador … Continue reading «Simulador de máquina de Turing no determinista multicinta»