Characterizations of some tape and time complexity classes of turing machines in terms of multihead and auxiliary stack automata

作者:

Highlights:

摘要

Several classes of multihead and auxiliary stack automata are introduced and are used to characterize some tape and time complexity classes of Turing machines.

论文关键词:

论文评审过程:Received 17 July 1970, Available online 27 December 2007.

论文官网地址:https://doi.org/10.1016/S0022-0000(71)80029-6