委托选择非决定性

[计] committed-choice nondeterminism

wěi tuō xuǎn zé fēi jué dìng xìng ㄨㄟˇ ㄊㄨㄛ ㄒㄩㄢˇ ㄗㄜˊ ㄈㄟ ㄐㄩㄝˊ ㄉㄧㄥˋ ㄒㄧㄥˋ