IP (2pfa) y AM (2pfa) son las clases de lenguajes reconocidos con error acotado por versiones de monedas públicas y privadas, respectivamente, de sistemas de prueba interactivos con verificadores que son autómatas finitos probabilísticos con un cabezal de entrada de dos vías.
¿Se conocen propiedades de cierre de estas clases?
Puedes echar un vistazo al siguiente documento:
Dwork, C. y Stockmeyer, L. 1992. Verificadores de estados finitos I: el poder de la interacción. J. ACM 39, 4 (octubre de 1992), 800-828. DOI = http://doi.acm.org/10.1145/146585.146599
o el documento relacionado:
Dwork, C. y Stockmeyer, L. 1992. Verificadores de estado finito II: conocimiento cero. J. ACM 39, 4 (octubre de 1992), 829-858. DOI = http://doi.acm.org/10.1145/146585.146601