14 мая, пятница, 15.15, к.430

Ф. Парт (АУ)
Моделирование одной машины Тьюринга на другой

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