構建的DFA/NFA的什麼是以下符號的含義：L =Σ* - λ

Question

我只是想弄清楚以下符號表示：

L =Σ* - λ

在問候什麼「 - λ」表示。我知道「λ」表示空字符串，但我不確定「 - 」是什麼意思。

上下文：構造一個DFA或NFA（確定性/非確定性有限自動機），它接受上面的字母爲{0,1}的語言。我的猜測是，這意味着不允許空字符串？不知道。感謝您的幫助。

Answer 1

Σ*：字母表Σ

λ的所有有限串：空字符串

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

兩個術語都是集合， - 是設置的差異。

Answer 2

Lambda通常是空的詞，即語言包含所有非空的二進制字符串。