ปัญหาความสูงของดาวทั่วไปในทฤษฎีภาษาเชิงรูปธรรมคือคำถามที่ยังเปิดอยู่ว่าภาษาปกติ ทั้งหมด สามารถแสดงได้โดยใช้การแสดงออกปกติแบบทั่วไปที่มีความลึกของการซ้อนกันของดาวคลีน ที่จำกัดหรือไม่ ในที่นี้ การแสดงออกปกติแบบทั่วไปถูกนิยามเหมือนกับการแสดงออกปกติแต่มีตัวดำเนินการเติมเต็มในตัว สำหรับภาษาปกติความสูงของดาวทั่วไป ของภาษานั้น ถูกกำหนดให้เป็นความลึกของการซ้อนกันขั้นต่ำของดาวคลีนที่จำเป็นในการอธิบายภาษาโดยใช้การแสดงออกปกติแบบทั่วไป ดังนั้นจึงเป็นที่มาของชื่อปัญหา

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

ภาษาปกติที่มีความสูงของดาวทั่วไปเป็น 0 เรียกอีกอย่างว่าภาษาที่ปราศจากดาวทฤษฎีบทของSchützenbergerให้ลักษณะเฉพาะทางพีชคณิตของภาษาที่ปราศจากดาวโดยใช้โมโนอิดทางไวยากรณ์ ที่ไม่ เป็นคาบ โดยเฉพาะอย่างยิ่ง ภาษาที่ปราศจากดาวเป็นกลุ่มย่อยที่ตัดสินได้ที่เหมาะสมของภาษาปกติ

• ทฤษฎีบทของ Egganและส่วนความสูงของดาวแบบทั่วไป ใน บทความเรื่องความสูงของดาว
• ปัญหาความสูงของดาว

• ฌอง-เอริค พิน: ปัญหาความสูงของดาว