¿Cuál es el modelo computacional más simple para el cual el problema del vacío es indecidible?
¿Cuál es el modelo computacional más simple para el cual el problema del vacío es indecidible? El problema de vacío para un modelo computacional (por ejemplo, autómata de estado finito, autómata de empuje alternativo, autómata cuántico de error acotado con un contador, LBA determinista, etc.) es...