Изменения
Нет описания правки
# <tex>P</tex> не ограничен в вычислительной мощности;
# <tex>V</tex> заинтересован установить, действительно ли слово <tex>x</tex> принадлежит языку;
# <tex>V</tex> — [[Вероятностные вычисления. Вероятностная машина Тьюринга|вероятностная машина Тьюринга]];
# <tex>V</tex> ограничен полиномиальным временем работы.
}}
}}
Язык <tex>\mathrm{AM} </tex> (<i>Arthur–Merlin games</i>) отличается от \mathrm{IP} лишь тем, что <tex>P</tex> может видеть вероятностную ленту <tex>V</tex>.
{{Определение
|definition =
