Дозволяє бути класом мов, який визначається чергуванням машин Тьюрінга, які зупиняються в часі використовуючи простір . Дозволяє бути класом мов, який визначається чергуванням машин Тьюрінга, які припиняють користуватися чергування та простір .
Ruzzo довів , що. Він також це показав.
Є ?