Изменения

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