...的主体可观测集（只有这个集合里的主体才能观察到特定的动作），然后通过某种结构操作语义（Structural Operational Semantics）在进程代数的模型中依据主体的观察不完全性生成用来解释认知逻辑的认知不可区分关系。
基于12个网页-相关网页
structural operational semantics
结构操作语义
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动