Post #2780020
2023-01-12 15:50 UTC
2/2
Once the mathematical equipment needed for the design of nodeterministic mechanisms achieving a purpose has been developed, the nondeterministic machine is no longer frightening. On the contrary! We shall learn to appreciate it, even as a valuable stepping stone in the design of an ultimately fully deterministic mechanism."
Replies (1)
-
@nikhil@mastodon.acm.org 2023-01-12 15:53
3/2 cf. Dijkstra's Guarded Command Language, Lamport's TLA+, Abrial et. al.'s Event-B, Term Rewriting Systems, Chandy and Misra's UNITY, Bluespec, ... all fundamentally non-deterministic languages.