Sei die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die in der Zeit f ( n ) unter Verwendung des Raums g ( n ) anhalten . Sei A A L T S P ( f ( n ) , g ( n ) ) die Klasse von Sprachen, die durch abwechselnde Turing-Maschinen bestimmt werden, die mit f ( aufhören ) Wechsel und Raum g ( n ) .
Ruzzo bewies, dass . Er zeigte auch , daß N C K ⊆ A A L T S P ( log k N , log n ) ⊆ N C K + 1 .
Ist ?