确定与非确定

确定型每步只有一个去向，非确定型可以同时走多条。两者表达能力相同。