创建一个DFA，使L下标4 = {0,1} * - {0,01} *并按字典顺序列出前五个字符串。
我无法推断L下标4的含义，它是长度为4的字符串语言吗？另外，当我们减去两种语言时，我们可以选择从空字符串中减去字符串“1”，这意味着可以选择从长度为0的{0,01} *减去的第一个{0,1} *长度为1 ？
答案 0 :(得分：0)
语言{0,01} *是在每个1之前应该有一个0的字符串集。例如，00010001是这种语言但10000或0001111不是。另一方面，{0,1} *是字母{0,1}的所有字符串。现在减去这些结果是一种语言，其中至少有一个1，所有的1都在0之前。例如，1111000在L_4中，但000000或011111不在。
答案 1 :(得分：0)
符号{0,1} * - {0,01} *是设置减法 - 它表示＆＃34; {0,1} *中所有字符串的语言都不是{0， 01} *＆＃34;当他们写作
L 4 = {0,1} * - {0,01} *
我相信他们正在定义一种名为L 4 的新语言，它与上述表达式相同。
要解决此问题，您可能会发现注意L 4 是语言{0,01} *的补充是有用的。解决此问题的一种方法是为{0,01} *构建DFA，然后翻转所有接受和拒绝状态。这将为您提供L 4 的DFA。
我将剩下的问题作为练习留给读者。 ： - ）