Bisimulation serves as the identity criterion; in the finite case it is decidable via Paige–Tarjan partition refinement.
bisimulation （互模拟）
The identity criterion on the image face; decidable in the finite case
Subscribe to newsletter
請訂閱《問道研究所》簡訊
问道研究所致力于复兴中华传统科学，并搭建东西方科学沟通的桥梁。我们根植于中华文明深厚的科学智慧，结合现代方法，探索宇宙、自然与人类社会的深层规律。通过系统研究与跨学科对话，推动传统与现代的创新融合，如中西医结合、太极启迪AI。我们旨在为理解当今世界提供基于传统智慧与现代科学的解决方案，并展望构建以人为本、尊重自然的全球知识体系，共同探索真理，开创未来。
热门
活动事件
新闻
编者推荐
参考文献
论文专著
Reasoning Research Institute
©Reasoning Research Institute. All Rights Reserved.