admissible state semantics

[计] 容许状态语义

今日更新

更新时间：2025-10-23 19:02:34