322
правки
Изменения
Нет описания правки
{{ Теорема
| statement = <tex>L \in subset \mathrm{NL} \in subset P.</tex>
| proof =
1. Детерминированная машина Тьюринга есть частный случай недетерминированной, поэтому <tex>L \in \mathrm{NL}</tex>.
