2025-05-14 18:30:00

В среду, 14 мая на заседании кафедрального семинара "Теория автоматов" состоится доклад В.В. Ушаковой "О восстановлении последовательностей машины Тьюринга".

Заседание состоится в 18-30 в смешанном формате. Очная часть пройдет в аудитории 13-27 Главного здания МГУ, дистанционная – в zoom-конференции https://us02web.zoom.us/j/88665141982?pwd=N3NoVmFKdlVKcytzTU96VFlSNFZ6dz09.

Анонс доклада:
Доклад посвящён изучению машин Тьюринга. А именно, вводятся и рассматриваются последовательности машины Тьюринга: последовательность входных символов, последовательность выходных символов, последовательность состояний, а также последовательность перемещений.
Пусть некоторые из рассматриваемых четырёх последовательностей машины Тьюринга неизвестны. Рассматривается возможность восстановления неизвестных последовательностей по известным. Рассматриваются разные случаи, когда программа и вход машины Тьюринга заданы и не заданы.