スケッチ #233

Closing star-free closure ## Trigger ⭐️GSHP⭐️ project で、有限単純群の word problem を generalized star height $1$ に落とす single-observer reduction を検討した際、その直接の先行研究として Place–Zeitoun の結果を参照した。以前 kobin への保存を試みたが、connector が利用できず未送信だった。 ## Idea Place–Zeitoun は、regular language の class $\mathcal C$ に対し、$\mathcal C$ と有限言語を含み、Boolean operations と concatenation で閉じた最小の class $\mathrm{SF}(\mathcal C)$ を調べる。regular expressions、first-order logic、temporal logic、finite monoid recognition による同値な特徴づけを与え、適切な仮定のもとで $\mathcal C$ の separation の decidability から $\mathrm{SF}(\mathcal C)$ の membership / covering の decidability を導く。 ⭐️GSHP⭐️ では、この closure theorem と Pin–Straubing–Thérien の quotient closure を組み合わせ、非可換有限単純群の word problem に対する single-observer reduction を得る方針がある。ただし、この reduction 自体は novelty audit、independent review、formalization が未了であり、確立した theorem としては扱わない。 ## Goal $A_5$ の generalized star height を調べる際に、star-free base class から一つの Kleene star を許した class への移行を、既存の closure machinery と正確に接続する。とくに $\mathcal C$-separation、$\mathcal C$-pairs、$\mathcal C$-orbits のどの仮定が marked language の判定へ必要かを切り分ける。 ## Personal context 言語クラス上の closure operators [[ynue2x]] と、generalized star height を closure / isotropy で捉える問い [[xadbpa]] の直接の先行研究。