📜  有限自动机和图灵机的区别

📅  最后修改于: 2021-08-27 05:10:37             🧑  作者: Mango

1.有限自动机:
有限自动机或有限状态机是具有五个元素或元组的抽象机。它具有一组状态和规则,可从一个状态转移到另一个状态,但它取决于所应用的输入符号。基本上,它是数字计算机的抽象模型。下图显示了通用自动化的一些基本功能。

图片:有限自动机的功能

上图显示了自动机的以下功能:

  1. 输入
  2. 输出
  3. 自动机状态
  4. 国家关系
  5. 输出关系

2.图灵机:
它是Alan Turing在1936年提出的功能强大的模型。像有限自动机和下推式自动机之类的早期模型被bot认为是准确的模型,因为它们无法识别简单的语言。但是图灵机是用于个人计算机的最准确的模型。图灵机能够解决实际计算机可以解决的所有问题。还有一些图灵机无法解决的问题,因为这些问题超出了计算的理论极限。

图片:图灵机型号

有限自动机和图灵机之间的区别:

Finite Automata Turing Machine
It recognize the language called regular language. It will recognize not only regular language but also context free language, context sensitive language and recursively enumerable languages.
In this the input tape is of finite length from both left and right side. In this the input tape is of finite length from left but is of infinite length from right.
It consists of finite number of states, finite set of input symbols, initial state of automata and finite set of transition rules for moving from one state to another. It also contains finite set of tape symbols and a blank symbol on the tape in addition to finite number of states, finite set of input symbols, initial state of automata and finite set of transition rules for moving from one state to another.
In this head is able to move in right direction only. In two way automata, head is able to move in both directions. In this, head can move in both directions.
Head is only able to read the symbols from the tape but can not write symbols on the tape. Head is able to read as well as write symbols on the tape.
It is weak as compare to Turing Machine. It is powerful than Finite Automata.
Designing finite automata is easier. Designing turing machine is difficult and as well as complex.
The transition function in finite automata can be represented by :
δ : Q × Σ* → Q
The transition function in turing machine can be represented by :

δ : Q × T → Q × T × {L, R}

where L and R specifies the left and right movement of tape head.