Sea la clase de lenguajes que se decida alternando máquinas de Turing que se detengan en el tiempo utilizando el espacio . Sea la clase de lenguajes que se decida alternando máquinas de Turing que dejen de usar las alternancias y el espacio .f ( n ) g ( n ) A A L T S P ( f ( n ) , g ( n ) ) f ( n ) g ( n )A T I S P (f( n ) , g( n ) )F( n )sol( n )A A L T S P (f( n ) , g( n ) )F( n )sol( n )
Ruzzo demostró que . También mostró que . N C k ⊆ A A L T S P ( log k n,logn)⊆ N C k + 1N Ck= A T I S P ( logkn , logn )N Ck⊆ A A L T S P ( logkn , logn ) ⊆ N Ck + 1
¿Es ?N Ck= A A L T S P ( logkn , logn )