上標加號的含義

Question

我有一個簡單的問題。 上標加號在這裏意味着什麼？

= {瓦特∈{0,1}：W∈（0^+）（1^+）}

一段時間以來我已經做這些。這是爲了使非確定性有限自動機

Answer 1

0^+ 

這意味着字符串瓦特應該有一個ATLEAST 0，象{0，00，000，......}

在另一手

0^* 

這意味着列W可以包含空的性格也像{∈，0，00，000，...}