Necesito saber bajo qué clase de CFL está cerrada, es decir, qué conjunto es complemento de CFL. Sé que CFL no está cerrado bajo complemento, y sé que P está cerrado bajo complemento. Dado que CFL PI puede decir que el complemento de CFL está incluido en P (¿verdad?). Todavía existe la duda de si el complemento de CFL es un subconjunto apropiado de P o de todo P. Agradecería cualquier idea sobre cómo mostrar que el complemento de CFL es todo P (si ese es el caso, por supuesto).