coNL

Einfache Sprache

Def. coNLSPACE

$\mathbf{coNL}$ ist eine Komplexitätsklasse, die alle Sprache beinhaltet, dessen Komplement in NL liegt.

Sätze

• Satz NL ist gleich coNL