Siguiente: Dispositivos de cómputo Un nivel arriba: Teoremas de jerarquía Anterior: Comprobadores y resolvedores

Complejidades de tiempo y espacio