Muchas máquinas encontrarían este problema como irresoluble.