Дайте формальное определение машины Тьюринга. Что означает утверждение, что язык программирования или система вычислений является 'полным по Тьюрингу'? Приведите пример минимального набора конструкций (например, условный переход и цикл), необходимых для достижения полноты по Тьюрингу. Обсудите теоретические ограничения систем, не обладающих этим свойством.