正规式转换到非确定有穷自动机转换的一般算法