非決定性プログラミング言語なら
1982年発行の教科書にも解説載ってるけど
これとは別物でつか?