非确定性编程 非确定性编程是一种编程范型它可以在程序的特定点叫做选择点上指定各种可交替的程序流程不像ifthen语句在这些交替者alternative的之间选择的方法不能直接由编程者来指定程序必须通过应用到所有选择点上的某种通用方法在运行时间于这些交替者之间做出决定编程者指定有限数目的交替者英语Alternation formal language theory而程序此后必须在它们之间做出选择事实上Choose是非确定性算子的典型名字可以形成选择点的一个层级具有着高层选择引出的包含其中低层选择的诸分支