3.4 不确定的有限状态自动机