Что такое Машина Тьюринга и Линейный Ограниченный Автомат?

Машина Тьюринга — это абстрактный исполнитель (абстрактная вычислительная машина), предложенная Аланом Тьюрингом в 1936 году для определения понятия алгоритма. ru.wikipedia.org Она состоит из трёх элементов: бесконечной ленты с ячейками, автомата или головки для чтения и записи, и программы. skillbox.ru

Линейный ограниченный автомат — это недетерминированная одноленточная машина Тьюринга, которая никогда не покидает те ячейки, на которых размещён её ввод. neerc.ifmo.ru Отличается от машины Тьюринга тем, что, хотя изначально лента имеет неограниченную длину, головка чтения/записи может получить доступ только к конечной непрерывной части ленты, длина которой является линейной функцией длины начального ввода. en.wikipedia.org