是的，我就是担心这个问题可能根本就不是一个可以实现的问题，再或者只是学术上有方法但无法在实际工程中使用。
【 在 quene 的大作中提到: 】
: 找本形式语言和自动机方面的经典教材看一下吧。我印象中判断两个自动机识别的语言是否等价似乎已经是相当难度/不可判定的问题了。具体记不清了，也许对正则语言可能有。这个涉及到非常基本的问题，建议还是先搞清楚理论再试，否则可能就是造永动机之类浪费时间了。
--
FROM 125.34.113.*