Изменения

=== <tex>IP \subset ⊂ PS</tex> ===Рассмотрим язык <tex>L \in IP</tex>. Чтобы детерменированная детерминированная машина Тьюринга <tex>m</tex> могла установить принадлежность слова <tex>x</tex> языку <tex>L</tex>, ей нужно перебрать все ответы <tex>P</tex> и вероятностные ленты <tex>V</tex>, просимулировав <tex>V</tex> с этими данными и посчитав вероятность допуска. Ясно, что эти действия потребуют не более <tex>p(|x|)</tex> памяти, а значит <tex>L \in PS</tex>.=== <tex>PS \subset ⊂ IP</tex> ===