IT博客汇
  • 首页
  • 精华
  • 技术
  • 设计
  • 资讯
  • 扯淡
  • 权利声明
  • 登录 注册

    unbounded nondeterminism

    est\'s blog发表于 2017-04-06 10:40:58
    love 0

    est:

    图灵机原来不能实现 arbiter

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

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



沪ICP备19023445号-2号
友情链接