VHDL图灵是否完整?

时间:2014-10-30 04:09:21

标签: programming-languages vhdl theory turing-complete

VHDL图灵是否完整?我的理解是,VHDL创建了一个寄存器机器,并且注册机器 - 没有任意RAM - 不是图灵完成。

这准确吗?对于在寄存器机器中无法解决的问题,是否有标准方法 - 在VHDL之外使用RAM,并通过VHDL管理它?例如?

2 个答案:

答案 0 :(得分:6)

主要有3 criteria for Turing Completeness

  1. 序列。 做这件事,然后做那件事,然后做另一件事
  2. 选择。 如果 那么
  3. 迭代(或递归)。 一遍又一遍地执行此操作
  4. 对记忆的要求并不是它是无限的(现代技术是不可能的,所有语言都会失败),但它是无限的,或无限可扩展的:即。如果你用完了,你可以添加更多,然后再试一次。

    所以是的,我认为VHDL肯定有资格。它可以做所有这些。

答案 1 :(得分:5)

显示图灵完整性的另一种方法是转换链:

  1. 图灵机已经完成。
  2. 图灵机可以通过注册机模拟,反之亦然。
  3. 注册机器是现代处理器的抽象而简单的模型
  4. 您可以使用VHDL描述处理器
  5. 所以VHDL正在完成。