unbounded nondeterminism

est:

图灵机原来不能实现 arbiter

https://youtu.be/7erJ1DV_Tlo?t=1570

一个arbiter就两个并发输入,需要在两个输出中任意返回一个,但是不能同时返回