摘要: 1.引言(Introduction) 以上各部分中的程序,在给定初始状态下,执行的结果都是唯一的。这样的程序称为确定程序。在给定初始状态下,程序执行的可能结果不唯一时,称为非确定程序。非确定现象在自然界和工程界是普遍的,很多问题的解答并不唯一。为编制非确定程序,在程序设计语言中应该提供那些非确定机制,如何编译实施这类机制。对这些问题,计算机科学家们作了长时间研究。至今,这仍然是一个前沿的研究领域。