En la teoría de la complejidad computacional , LOGCFL es la clase de complejidad que contiene todos los problemas de decisión que pueden reducirse en un espacio logarítmico a un lenguaje libre de contexto . Esta clase se sitúa entre NL y AC 1 , en el sentido de que contiene a la primera y está contenida en la segunda. Los problemas que están completos para LOGCFL incluyen muchos problemas cuyas instancias se pueden caracterizar por hipergrafías acíclicas :