IP（2pfa）和AM（2pfa）的关闭属性

IP（2pfa）和AM（2pfa）分别是带有证明者的交互式证明系统的交互式证明系统的私用和公开钱币版本会识别有限误差的语言类别，该验证器是具有双向输入头的概率有限自动机。

这些类的闭包属性是否已知？

您可以看以下论文：

Dwork，C.和Stockmeyer，L.1992。有限状态验证者I：交互的力量。J.ACM 39，4（1992年10月），800-828。DOI = http://doi.acm.org/10.1145/146585.146599

或相关论文：

Dwork，C.和Stockmeyer，L.1992。有限状态验证者II：零知识。J.ACM 39，4（1992年10月），829-858。DOI = http://doi.acm.org/10.1145/146585.146601