找到DFA

Question

创建一个DFA，使L下标4= {0,1}* - {0,01}*，并按字典顺序列出前五个字符串。

我很难推导出L下标4的含义，它是一种长度为4的字符串语言吗？另外，当我们减去两种语言时，我们是否可以选择从空字符串中减去的字符串"1“，这意味着可以选择第一个{ 0 ,1}*从长度0，01}*减去长度1的字符串？

Answer 1

语言{ 0 ,01}*是在每个1之前应该有一个0的字符串集。例如，00010001在这种语言中，但是10000或0001111不是。{0,1}*则是所有字母表{0,1}的字符串。现在减去这些结果，一种语言，它至少有一个1，所有的1都在任何0之前。例如，1111000在L_4中，但是000000或011111不是。