Das Kefk Network Wiki befindet sich im Testbetrieb.

---

Aus Kefk.

In der Komplexitätstheorie steht für die Menge der Sprachen, die von einer nichtdeterministischen Turingmaschine in Zeit O(f) akzeptiert werden können.

Mit Diagonalisierung lässt sich zeigen, dass die Hierarchie echt ist.