Klassene språk akseptert av k-alternating Turing maskiner, over alle k≥ 0 og med starttilstand eksistensielle eller universell. Bunnen nivå (k = 0) er klassen P. neste nivå (k = 1) NP og co - NP.