ในวิทยาการคอมพิวเตอร์เชิงทฤษฎีและทฤษฎีภาษาเชิงรูปธรรมภาษาเชิงรูปธรรมจะว่างเปล่าก็ต่อเมื่อเซตของประโยคที่ถูกต้องของมันคือเซตว่างปัญหาความว่างเปล่าคือคำถามเกี่ยวกับการพิจารณาว่าภาษานั้นว่างเปล่าหรือไม่เมื่อกำหนดการแสดงแทนบางอย่าง เช่น ออ โตมาตาสถานะจำกัด^{[ 1 ]}สำหรับออโตมาตาที่มีสถานะ ปัญหานี้เป็นปัญหาการตัดสินใจที่สามารถแก้ไขได้ในเวลา[ ^{2 ] หรือ}ในเวลาหากออโตมาตามีnสถานะและmการเปลี่ยนสถานะ อย่างไรก็ตาม รูปแบบต่างๆ ของคำถามนั้น เช่น ปัญหาความว่างเปล่าสำหรับออโตมาตาแบบสแต็กที่ไม่ลบเป็น ปัญหา PSPACE-complete [ ^{3 ] ปัญหา}ความว่างเปล่าในการเรียนรู้ของเครื่องและภาษาเชิงรูปธรรมจะพิจารณาว่าแบบจำลองหรือออโตมาตาสร้างภาษาว่างเปล่า หรือไม่ ซึ่งไม่สามารถตัดสินได้สำหรับ ออโต มา ตาแบบหลายหัวสลับกันบางตัวบนตัวอักษรเดี่ยว^{[ 4 ]}${\displaystyle n}$${\displaystyle O(n^{2})}$${\displaystyle O(n+m)}$

ปัญหาความว่างเปล่าไม่สามารถตัดสินได้สำหรับไวยากรณ์ที่คำนึงถึงบริบทซึ่งเป็นข้อเท็จจริงที่สืบเนื่องมาจากความไม่สามารถตัดสินได้ของปัญหาการหยุดอย่างไรก็ตาม สามารถตัดสินได้สำหรับไวยากรณ์ที่ไม่ขึ้นกับบริบท^{[ 3 ]}

• ปัญหาจุดตัดที่ไม่ว่างเปล่า