Пусть будет классом языков, определяемым чередующимися машинами Тьюринга, которые останавливаются во времени используя пространство . Пусть будет классом языков, определяемым чередующимися машинами Тьюринга, которые останавливаются, используя чередования и пробел .
Руццо доказал, что . Он также показал, что .
Является ли ?