A Direct Proof of Turing Universality of Delay-Insensitive Circuits

作者：Lee Jia^*; Zhu Qing Sheng

来源：International Journal of Unconventional Computing, 2012, 8(2): 107-118.

• Turing machine
• delay-insensitive circuit
• universality

Delay-insensitive (DI) circuits are a special type of asynchronous circuits whose correct operation is robust to arbitrary delays involved in modules or interconnection lines. In this paper, we present a useful scheme for realization of Turing machines based on simple DI modules which exhibit strictly serial input and output behavior, thereby providing a direct proof of the computational universality of DI-circuits.

• 出版日期2012
• 单位重庆大学