Действительно ли VHDL Turing? Мое понимание заключается в том, что VHDL создает регистрационную машину, и эти регистрационные машины - без произвольной ОЗУ - не являются Тьюрингом.Готово ли VHDL Turing?
Является ли это точным? Для проблем, которые не могут быть решены в регистрационных машинах, существует ли стандартный подход - использовать RAM вне VHDL и управлять им через VHDL, например?
Есть 3 основных criteria for Turing Completeness:
Требования памяти не то, что она бесконечна (что невозможно с помощью современных технологий, и все языки потерпят неудачу), но что она неограниченна, или бесконечно расширяемая: то есть. если вы закончите, вы можете добавить еще и попробовать еще раз.
Так что да, я думаю, что VHDL безусловно подходит. Он может все это делать.
Можете ли вы привести пример кода, показывающий рекурсию в VHDL? – SRobertJames
Я нашел [поток, который имеет пример] (https://groups.google.com/d/topic/comp.lang.vhdl/6iriCKNutv8/discussion). –
@SRobertJames: машина состояния может очень легко выставить рекурсию, и я не думаю, что кто-то собирается утверждать, что мы не можем построить конечный автомат в VHDL. –
Другой способ показать Тьюринга полноту представляет собой цепочку преобразований:
Так VHDL является Тьюринга.
Вы можете, конечно, реализовать RAM в VHDL, для начала. Для синтеза большинство FPGA будут отображать вашу RAM в выделенные блоки памяти. Это не самая дешевая форма памяти, но это экономический аргумент, а не фундаментальный. –
VHDL имеет динамическое распределение памяти, поэтому он является таким же полным, как и любой другой язык системного программирования. –