以下语言是简单语言的补充。 为更简单的语言构造DFA,然后使用它为给定语言提供DFA的状态图,其中Σ= {a,b}。
L = {w:w不包含子串baba}。
我不知道哪种语言比较简单,有人可以解释一下吗?
答案 0 :(得分:0)
我的Logic& S已经有一段时间了。可计算性类,但我的猜测是补语Lc = {w:w包含子串'baba'}。
制作一个接受'baba'子串的DFA可能很容易,你可能只有状态firstB,firstA,secondB和secondA等等。
补充DFA然后是微不足道的,只是让接受状态不接受,反之亦然。
答案 1 :(得分:0)