nondeterministic algorithm

确定性算法（英語：deterministic algorithm）是计算机算法的一类。如果以算法的每一步骤是否确定来分类，计算机算法可以分为确定性算法和非确定性算法（英語：nondeterministic algorithm）。

事件并接着停止，或者就地停止的进程。换句话说，如果我们把这个抽象当作对这个系统的外部查看（比如未看到这个人的做出如何决定的某个人），非确定性（英语：Nondeterministic algorithm）就已经介入了。 CSP的语法定义了进程和事件可以组合的“合法”方式。设 e {\displaystyle \,e\,} 是一个事件，

Automata and Their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their

[2021-08-11], ISBN 9780511804090, （原始内容 (PDF)存档于2021-03-20）  Immerman, Neil, Nondeterministic space is closed under complementation (PDF), SIAM Journal on Computing

ISBN 978-0-89232-896-3, （原始内容 (PDF)存档于2012-02-22）  Immerman, Neil, Nondeterministic space is closed under complementation (PDF), SIAM Journal on Computing