Entscheidbare bzw. semientscheidbare Probleme, die nicht NP-schwer sind, kennen Sie viele. Da wären schonmal alle Probleme aus P, die natürlich auch praktische Relevanz haben. Unter den nicht entscheidbaren Problemen haben Sie die Diagonalsprache L_NA kennengelernt, die (meines Wissens) nicht NP-schwer ist.
Ich hoffe, das trägt zum Verständnis bei, sonst fragen Sie bitte einfach wieder.
Viele Grüße
Lukas König und Friederike Pfeiffer-Bohnen