właściwości zamknięcia IP (2pfa) i AM (2pfa)

IP (2pfa) i AM (2pfa) to klasy języków rozpoznawane z błędem granicznym odpowiednio w prywatnych i publicznych wersjach monet, interaktywnych systemów dowodzenia z weryfikatorami, które są probabilistycznymi automatami skończonymi z dwukierunkową głowicą wejściową.

Czy znane są jakieś właściwości zamknięcia tych klas?

cc.complexity-theory interactive-proofs

— Cem Say
źródło

Możesz rzucić okiem na następujący artykuł:

Dwork, C. i Stockmeyer, L. 1992. Weryfikatory stanu skończonego I: siła interakcji. J. ACM 39, 4 (październik 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599

lub powiązany dokument:

Dwork, C. i Stockmeyer, L. 1992. Weryfikatory stanu skończonego II: zero wiedzy. J. ACM 39, 4 (październik 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601

— MS Dousti
źródło

Przejrzałem już te dokumenty i inne autorstwa Condon, Lipton i in., Ale nie ma nic o właściwościach zamykających tych klas.

— Cem Powiedz

@Cem: Czy możesz wyjaśnić definicję „zamknięcia”? W szczególności, w ramach jakiej operacji dążysz do zamknięcia?

— MS Dousti,