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