IP (2pfa) и AM (2pfa) - это классы языков, распознаваемые с ограниченной ошибкой в частных и открытых версиях монет, соответственно, интерактивных систем доказательства с верификаторами, которые являются вероятностными конечными автоматами с двусторонней входной головкой.
Известны ли какие-либо свойства замыкания этих классов?
Вы можете взглянуть на следующую статью:
Дворк, С. и Стокмейер, Л. 1992. Конечные верификаторы состояния I: сила взаимодействия. J. ACM 39, 4 (октябрь 1992 г.), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599
или соответствующий документ:
Дворк, С. и Стокмейер, Л. 1992. Конечные верификаторы состояния II: нулевые знания. J. ACM 39, 4 (октябрь 1992 г.), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601