The purpose of this paper is to discuss the relevance of nondeterminism in computer science, with a special emphasis on Dijkstra's guarded commands language.
翻译:本文旨在讨论非确定性在计算机科学中的相关性,特别侧重于Dijkstra的守卫命令语言。