theory - 上标加号含义

Question

我有一个简单的问题。这里的上标加号是什么意思？

= {w ∈ {0,1} : w ∈ (0^+)(1^+)}

我做这些已经有一段时间了。这是为了制作一个非确定性的有限自动机

Answer 1

0^+

这意味着字符串 w 应该至少有一个 0，例如 { 0, 00, 000, .....}

另一方面

0^*

这意味着字符串 w 也可以包含空字符，例如 { ∈, 0, 00, 000, ....}