标签： theory finite-automata automata state-machine computation-theory
我有一个简单的问题。 上标加号在这里意味着什么？
= {w∈{0,1}：w∈（0 ^ +）（1 ^ +）}
自从我做完这些以来已经有一段时间了。这是为了制作一个非确定性的有限自动机
答案 0 :(得分：4)
0^+
这意味着字符串w应至少有一个0，如{0,00,000，.....}
0^*
这意味着字符串w也可以包含空字符，如{∈，0,00,000，....}