在本文中，我们将描述受限图灵机的基本概念，为了基本理解，您可以先阅读先决条件，这将有助于您清楚地理解该主题。
先决条件——图灵机
- 图灵机接受递归可枚举语言。它比任何其他自动机(如 FA、PDA 和 LBA)都更强大。它计算部分递归函数。它可以进一步分为确定性图灵机(DTM)或非确定性图灵机(NTM)。默认情况下，图灵机是DTM，DTM和NTM的威力是一样的。
- 这台机器充当识别器或接受器以及枚举器。
- 机器被称为接受器，它接受或识别输入字母表(∑)上的递归可枚举语言(L)的字符串，机器被称为枚举器，它在输入字母表上枚举递归可枚举语言的字符串∑。
图 –图灵机
受限图灵机可以是以下类型：
- 停止图灵机：
如果图灵机对于每个输入字符串总是停机，则称其为停机图灵机。它可以接受递归语言，但功能不如图灵机。 - 线性有界自动机：
它的行为类似于图灵机，但磁带的存储空间仅限于输入字符串的长度。它不如图灵机强大，但比下推自动机强大。 - 单向图灵机：
这种图灵机的头部只能朝一个方向移动。它可以接受唯一的常规语言。它具有与有限自动机相同的功能，但不如下推自动机强大。 - 只读图灵机：
等价于有限自动机。它只包含一个没有写入能力的读头。它只接受常规语言。 - 只读-单向图灵机：
它类似于有限自动机。它包含一个只读磁头，只能朝一个方向移动。它接受常规语言。