AWS 用反合一实现形式化策略的语义 diff 教程

AWS Machine Learning Blog 介绍用开源引擎 semi-persistent 对形式化策略做语义 diff，基于 e-graph 上的反合一找出两份策略的共享结构与真实分歧，声明代数性质与领域 rewrite 后可吸收纯表述差异。