14 мая, пятница, 15.15, к.430
Ф. Парт (АУ)
Моделирование одной машины Тьюринга на другой
Доклад по материалам лекции А. Ромащенко. На докладе будет разобрана
проблема построения эффективной универсальной машины Тьюринга.
В частности, будет рассмотрен алгоритм моделирования многоленточной машины
Тьюринга на двухленточной с замедлением в логарифм.