propiedades de cierre de IP (2pfa) y AM (2pfa)

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?

cc.complexity-theory interactive-proofs

— Cem Say
fuente

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

— MS Dousti
fuente

Ya he revisado esos documentos y otros de Condon, Lipton et al., Pero no hay nada sobre las propiedades de cierre de estas clases.

— Cem Say

@Cem: ¿Puedes aclarar sobre la definición de "cierre"? En particular, ¿bajo qué tipo de operación busca el cierre?

— MS Dousti