admissible state semantics

[计] 容许状态语义

最近更新

更新时间：2026-04-19 05:28:20