结论：
　　∑上一个符号串集V∑*是正规的，当且仅当存在一个∑上的不确定的有穷自动机N，使得V=L(N)