机译:用三胶带米斯基机器建模MultiTape Minsky和Tying机器
Moscow MV Lomonosov State Univ Dept Computat Math & Cybernet Moscow 119991 Russia;
Moscow MV Lomonosov State Univ Dept Computat Math & Cybernet Moscow 119991 Russia;
机译:Minsky计数器机器的有界性问题
机译:Minsky计数器机器有界性问题的算法
机译:Minsky计数器机器的有界性问题的可判定性
机译:明斯基机器和算法问题
机译:多带车床和随机存取机的计算复杂性
机译:使用最佳阶Markov模型的固定算法复杂度的图灵机带的统计复杂性分析
机译:通过二进制堆垛机和米斯基机器的直观线性逻辑认证的不可逃号
机译:multihead和multitape实时图灵机