unbounded nondeterminism
Posted | stdin
est:
图灵机原来不能实现 arbiter
https://youtu.be/7erJ1DV_Tlo?t=1570
一个arbiter就两个并发输入,需要在两个输出中任意返回一个,但是不能同时返回
Posted | stdin
est:
图灵机原来不能实现 arbiter
https://youtu.be/7erJ1DV_Tlo?t=1570
一个arbiter就两个并发输入,需要在两个输出中任意返回一个,但是不能同时返回
Comments