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