以互模拟为身份判据；有限情形可经 Paige–Tarjan 分划细化判定。
互模拟 bisimulation
象面身份判据；有限情形可判定
Subscribe to newsletter
請訂閱《問道研究所》簡訊
问道研究所致力于复兴中华传统科学，并搭建东西方科学沟通的桥梁。我们根植于中华文明深厚的科学智慧，结合现代方法，探索宇宙、自然与人类社会的深层规律。通过系统研究与跨学科对话，推动传统与现代的创新融合，如中西医结合、太极启迪AI。我们旨在为理解当今世界提供基于传统智慧与现代科学的解决方案，并展望构建以人为本、尊重自然的全球知识体系，共同探索真理，开创未来。
研究项目
研究报告
文集
热门
活动事件
新闻
编者推荐
参考文献
论文专著
研究项目
研究报告
文集
热门
活动事件
新闻
编者推荐
参考文献
论文专著
Reasoning Research Institute
Latest Articles
Most Popular
Subscribe
©Reasoning Research Institute. All Rights Reserved.