非确定有限状态自动机的构建-NFA的定义和实现