Existe un concepto teórico llamado Non-Deterministic Turing Machines.
La idea detrás es que puedas ejecutar una Turing Machine en paralelo, lo cuál reduciría la complejidad de algoritmos de orden no polinomial (como el problema de la mochila).
Para los curiosos, esto tiene relación con lenguajes de programación de Layer 2 como Starknet con Cairo y su non-deterministic programming language. ✨
Acá un poco de su documentación
¿Quieres ver más aportes, preguntas y respuestas de la comunidad?