[判断题]非确定有限自动机的状态转换函数是单值函数。