【发布时间】:2017-10-18 20:26:37
【问题描述】:
以下语言是对更简单语言的补充。 为更简单的语言构造一个 DFA,然后用它给出给定语言的 DFA 的状态图,其中 Σ = {a,b}。
L={ w : w 不包含子串 baba}。
我不知道哪种语言更简单,谁能解释一下?
【问题讨论】:
标签: regular-language finite-automata automata dfa
以下语言是对更简单语言的补充。 为更简单的语言构造一个 DFA,然后用它给出给定语言的 DFA 的状态图,其中 Σ = {a,b}。
L={ w : w 不包含子串 baba}。
我不知道哪种语言更简单,谁能解释一下?
【问题讨论】:
标签: regular-language finite-automata automata dfa
我的逻辑和可计算性课程已经有一段时间了,但我猜补语 Lc 将是 = { w: w 包含子字符串 'baba'}。
制作一个接受“baba”子字符串的 DFA 可能很容易,您可能只有状态 firstB、firstA、secondB 和 secondA 等等。
然后制作补码 DFA 是微不足道的,只需使接受状态变为不接受状态,反之亦然。
【讨论】: