Изменения

Машина Тьюринга, распознающая язык <tex>L=DSPACE(c \log n)</tex> работает не более чем <tex>| \Sigma |^{c\log n}=poly(n) </tex> времени.

=== Вывод ===

<tex> L \subseteq P \subseteq NP \subseteq PS </tex>