构造DFA/NFA以下符号的含义是什么:L=∑*-λ

Question

我只是想弄清楚以下符号的含义：

L=∑*-λ

关于"-λ"的含义。我知道"λ"的意思是空字符串，但我不确定"-"意味着什么。

上下文：构造一个DFA或NFA（确定性/非确定性有限自动机），它接受上面字母表为｛0，1｝的语言。我的猜测是，这意味着不允许使用空字符串？不知道。谢谢你的帮助。

Answer 1

∑*：字母表的所有有限字符串∑

λ： 空字符串

∑*-λ：字母表中除空字符串外的所有有限字符串∑。

这两个术语都是集合，并且-是集合差。

Answer 2

Lambda通常是空单词，即该语言包含所有非空的二进制字符串。