构造DFA / NFA以下符号表示什么：L =Σ* - λ

Question

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

L =Σ* - λ

关于“ - λ”表示什么。我知道“λ”表示空字符串，但我不确定“ - ”是什么意思。

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

Answer 1

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

Answer 2

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

λ：空字符串

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

这两个术语都是集合，而 - 是设定的差异。