给定两个DFA，如何检查第一个DFA生成的语言是否包含在第二个DFA生成的语言中？

Question

我必须给出一种算法来检查给定的两个DFA，第一个生成的语言是否包含在另一个DFA中。 例如，假定第一种语言识别长度为2的{a，b} *上的单词，而第二种语言识别长度为3或更短的{a，b} *上的单词。在该示例中，第二语言中包括第一语言。 我的想法之一是最小化两个DFA，并查看DFA1中是否也包含DFA1中的状态和转换，但是我认为这不是一个好的解决方案。