在不使用强力搜索的情况下找到分隔两个单词的最小DFA？

Question

给定两个字符串a和b，我想构建一个接受a和拒绝b的最小尺寸DFA。一种方法是进行强力搜索。 还有其他选择吗？如果是这样，它是什么？