首页> 外文OA文献 >Verifying whether one-tape Turing machines run in linear time

【2h】

Verifying whether one-tape Turing machines run in linear time

机译：验证是否在线性时间中运行一磁带

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
David Gajser;
展开▼
作者单位

展开▼
年度 2020
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verifying whether one-tape Turing machines run in linear time [J] . Gajser David Journal of computer and system sciences . 2020,第Feba期

机译：验证单带图灵机是否在线性时间内运行
2. Verifying whether One-Tape Turing Machines Run in Linear Time [J] . David Gajser Electronic Colloquium on Computational Complexity . 2015,第131期

机译：验证单带图灵机是否线性运行
3. THE ROLES OF ADVICE TO ONE-TAPE LINEAR-TIME TURING MACHINES AND FINITE AUTOMATA [J] . TOMOYUKI YAMAKAMI International Journal of Foundations of Computer Science . 2010,第6期

机译：一线式线性时间调整机的建议作用和有限自动机
4. The Roles of Advice to One-Tape Linear-Time Turing Machines and Finite Automata [C] . Tomoyuki Yamakami Algorithms and computation . 2009

机译：一卷线性时间图灵机和有限自动机的建议作用
5. Structural properties of one-tape Turing machines. [D] . Lin, Jack Chen-Hung. 2002

机译：单带图灵机的结构特性。
6. Statistical Complexity Analysis of Turing Machine tapes with Fixed Algorithmic Complexity Using the Best-Order Markov Model [O] . Jorge M. Silva, Eduardo Pinho, Sérgio Matos, 2020

机译：使用最佳阶Markov模型的固定算法复杂度的图灵机带的统计复杂性分析
7. Verifying whether One-Tape Non-Deterministic Turing Machines Run in Time $Cn+D$ [O] . Gajser, David 2014

机译：验证单磁带非确定性图灵机是否及时运行 $道道+ d $
8. Real Time Simulation of Multicounters by Oblivious One-Tape Turing Machines [R] . Vitanyi, P. M. B. 1982

机译：不经意的单带图灵机对多工程的实时仿真

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号