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?
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