ในทฤษฎีความซับซ้อนของการคำนวณLOGCFLคือคลาสความซับซ้อน ที่ประกอบด้วย ปัญหาการตัดสินใจทั้งหมดที่สามารถลดขนาดลงในพื้นที่ลอการิทึมให้เป็นภาษาที่ไม่ขึ้นกับบริบทได้ [ ^{1 ] คลาส}นี้ปิดภายใต้การเติมเต็ม^{[ 1 ]}ตั้งอยู่ระหว่างNLและAC ¹ในแง่ที่ว่ามันประกอบด้วย NL ^{[ 1 ]}และบรรจุอยู่ใน AC 1 ^{[ 2 ]}ปัญหาที่สมบูรณ์สำหรับ LOGCFL รวมถึงปัญหามากมายที่สามารถกำหนดลักษณะได้ด้วยไฮเปอร์กราฟแบบไม่มีวงจร :

• การประเมินคำถามเชื่อมโยงบูลีน แบบไม่มีวงจร ^{[ 3 ]}
• ตรวจสอบการมีอยู่ของโฮโมมอร์ฟิซึมระหว่างโครงสร้างความสัมพันธ์ แบบไม่มีวัฏจักรสองโครงสร้าง ^{[ 4 ]}
• ตรวจสอบการมีอยู่ของคำตอบของปัญหาความพึงพอใจข้อจำกัดแบบ ไม่มีวัฏจักร ^{[ 3 ]}

LOGCFL คือเซตของปัญหาการตัดสินใจที่สามารถแก้ไขได้โดยออโตมาตาพุชดาวน์เสริมแบบไม่กำหนดในพื้นที่ลอการิทึมและเวลาพหุนาม^{[ 5 ]}

• รายการคลาสความซับซ้อน

• Complexity Zoo : LOGCFL