问题
经典星高：正则表达式中星运算的嵌套深度；经典星高问题（有限补语言 vs 一般正则）已由 Hashiguchi（1983）、Kirsten（2005）解决（ «距离自动机» 判定）。广义星高：允许补运算自由使用的表达式中的星高。广义星高问题（Brzozowski 1962 提出）：广义星高是否有界？这是完全开放的问题：连 «广义星高超过 1 的语言是否存在» 都没人知道（ «广义星高 ≤ 1» 类 = «补的有限并与星的一层组合» 的闭包类，其外是否有正则语言是 60 年悬案）。这是 «星运算的真实威力» 的根本问题。
主要概念
广义层级与 «1 层» 的巨大覆盖
广义表达式的 «补封闭» 使层级 «坍缩倾向» 强烈： «广义星高 0» = star-free（补可用 ⟺ FO，Schützenberger–McNaughton–Papert）； «广义星高 ≤ 1» = FO 语言经 «一次星» 与补并连接的闭包——它已经覆盖 «一切已知正则语言»（人们构造过的所有例子）！ «超过 1 的语言» 的候选构造需要 «星本身不可 FO 化» 的语言再 «补-星组合» 后仍逃出 1 层—— «逃逸构造» 的所有尝试失败。
层级的 «严格性» 与 «有界性» 的关系
若广义层级严格（每层有新语言）且无界，则 «有界性» 失败；若某层 «闭包吞掉» 上层（ «广义星高 ≤ k = 一切正则»），则 «有界性» 成立且问题解决。两种结局都开放； «层级严格性»（46 号的平行问题）本身也未解决—— «严格 ⟹ 无界反例存在» 的论证需要 «层与层之间的分离语言»，恰好是 «构造超过 1 的语言» 的同款困难。
主要命题与证明
命题 1（广义星高 0 = star-free；完整证明骨架） 语言可由 «无星广义表达式» 定义 ⟺ star-free ⟺ FO[<] 可定义（Schützenberger 1965 的代数判据 + McNaughton–Papert 1971 的逻辑定理）。 «无星» ⟺ «补可用» 使 «广义星高 0» 与 «经典星高 0» 意义重合——补运算的 «自由使用» 在 «无星» 时是 «免费的»（星语言类的补仍是星语言？精确机制见证明）。
骨架 无星表达式 = 用补、并、连接组合字母类；star-free 类对补封闭（FO 的布尔封闭），故 «无星广义» = «无星经典»。代数判据：语法幺半群 aperiodic（22 号命题 1），判定可算。□
命题 2（Hashiguchi–Kirsten 的经典星高判定；陈述） 正则表达式的经典星高问题已解决：Hashiguchi（1983，距离自动机的有限性判定）与 Kirsten（2005， «距离模糊自动机» 的简化证明）给出算法。广义版（补自由）的对应 «距离» 机制失败—— «补» 的 «距离» 无法有限编码。
现状说明 Kirsten 的 «距离自动机» 把 «星高 ≤ k» 编码为 «距离函数的有界性»——补运算 «翻转接受态» 使 «距离» 的 «饱和行为» 失控（补把 «接近失败» 变 «接近成功»）， «距离» 技术对广义版失灵。这是 «经典已解、广义悬置» 的技术根源。□
命题 3（ «1 层» 覆盖的现状；陈述） 一切 «构造过» 的正则语言（文献中的所有例子族）广义星高 ≤ 1； «广义星高 ≥ 2» 的语言一个都没有。等价的正面陈述： «广义星高 ≤ 1» 类对 «一切已知构造手段» 封闭；可能的 «逃逸» 语言需要 «星结构 » «补结构» 的 «深度交互»——没有已知的构造路线，也没有 «不可能逃逸» 的证明。
现状说明 问题的 «双结局» 结构（ «有界» 或 «严格层级无界»）与 46 号（Krohn–Rhodes 层级严格性）同型： «严格性» 的分离语言构造与 «有界性» 的闭包证明都是开放路线；广义星高问题的 «1 层悬案» 是层级理论的 «最深单点»。□
进展与文献
Brzozowski（1962，问题出处）；Hashiguchi（1983）与 Kirsten（2005）的经典星高判定；Pin–Weil 的广义层级综述；Domaratzki 的星高问题史。开放核心：广义星高 ≥ 2 语言的存在性；层级严格性； «1 层类» 的代数刻画（ «广义 1 层 ⟺ 某伪簇的 «星闭包»» 的显式化）。