Siguiente:
Reducción de problemas al
Un nivel arriba:
Irresolubilidad
Anterior:
Una aplicación de PCP
Irresolubilidad de problemas en GLC
Reducción de problemas al problema de la parada
Problema de
``gramáticas ajenas''
(PA)
Problema de
totalidad
(PT)
Problema de
equivalencia
(PE)
Problema de
inclusión
(PI)
Problema de
regularidad
(PR)
Problema de
regularidad contenida
(PRC)
Algunos otros problemas irresolubles
Problema de
complemento libre de contexto
(PCLC)
Problema de
intersección libre de contexto
(PILC)
Guillermo Morales-Luna
2000-07-10
