确定自动机和非确定自动机