找本形式语言和自动机方面的经典教材看一下吧。我印象中判断两个自动机识别的语言是否等价似乎已经是相当难度/不可判定的问题了。具体记不清了，也许对正则语言可能有。这个涉及到非常基本的问题，建议还是先搞清楚理论再试，否则可能就是造永动机之类浪费时间了。
【 在 chunhui 的大作中提到: 】
: 我想找一个可以直接拿来用的库。否则就得自己实现。如果很难或者实现出来判断不准，难到还要我自己去按照论文实现。这就有点不现实了。我现在还不确定这个判断是否可以作到，如果作到了是否适应面不多，比如稍微复杂点的就判断不准之类。。。
:
--
FROM 218.16.203.*