Изменения

<tex>AM[f(n)]</tex> - класс языков, для которых существует интерактивный протокол распознаваемых с помощью интерактивного протокола доказательства Артура-Мерлина, причем количество запросов <tex>A</tex> к <tex>M</tex> не превышает <tex>f(n)</tex>.