Hallo,
bitte verwechseln Sie die Komplexitätsklasse \( P\) nicht mit der Menge aller Sprachen \( p(E^\star)\)! Letzteres ist im klassischen Sinn keine Komplexitätsklasse, bzw. ist diese Bezeichnung nicht besonders sinnvoll, da darin alle Sprachen bzw. Probleme enthalten sind, unabhängig von Komplexität oder Berechenbarkeit. Wenn Ihnen solche Unterschiede nicht klar sind, sollten Sie sich das dringend nochmal anschauen!
Die Antwort auf Ihre Frage ist aber ja, denn \( L_{NA} \) ist die Diagonalsprache :-)
Viele Grüße
Lukas König, Friederike Pfeiffer-Bohnen und Micaela Wünsche