Матлогика 31. Машины Тьюринга

[@алексейденисов-р1я]

Тьюринг бы стал натуралом если бы увидел это объяснение работы его машины))

[@RS-ue4wg]

ну или если бы людей не убивали из-за мракобесия. ))

[@AnthonyMarchenko]

это что-то невероятное, после этого объяснения захотелось пройти весь курс, спасибо! )

[@kulturtrager5479]

МТ = {Г, Сигма, Q, QI, QF, дельта} Г - ленточный алфавит (конечное множество) Сигма - входной алфавит (он же выходной): является подмножеством Г, но без # # - пробельный символ (по бокам слова) Q - множество состояний - память головки (непустое конечное множество) QI - начальные состояния (init) QF - завершающие состояния (finish) Дельта - функция переходов (программа МТ) (таблица): QxГ -> QxГx{L,N,R} L - сдвиг налево (left) N - никуда не сдвигаться (neutral) R - сдвиг вправо (right)

[@kulturtrager5479]

Вы могли встретить такое определение "Алгоритм - конечная совокупность точно сформулированных правил для решения класса задач." Класс задач может быть пустым, тогда данное определение теряет смысл (поэтому необходимо уточнять "конкретный класс"), сформулировать правила можно на китайском языке, тогда для русского исполнителя такой алгоритм абсолютно не имеет смысла (поэтому лучше использовать глагол "заданных" правил), поэтому должна быть ссылка на источник данного определения, например, данное определение было дано почти полвека назад и давно устарело, а также необходимо уточнить, что это нестрогое определение алгоритма. Кстати, строго говоря, это не совокупность правил, т.е. не множество правил, а их набор, т.к. в наборе, в отличие от множества, важен порядок (Вы это проходили в одном из первых разделов по Мат.логике и Теории алгоритмов) - так же, как в алгоритме, причем именно порядок, а не последовательность, т.к. сейчас выполнение алгоритма при возможности распараллеливают, т.е. независящие друг от друга правила могут применяться непоследовательно, а параллельно (в произвольном порядке). К тому же могут быть не правила (алгоритм для человека), а инструкции, например, для процессора, и это тоже алгоритм, т.е. приведенное выше определение еще и неполное.

[@kulturtrager5479]

У нас на лекции этот видос включили, и поэтому, что бы посмотреть то что писал преподаватель в чате, я оставлю это здесь

[@evgeniivol8369]

1:13:54 МАШИНА - ЭТО ПРАВИЛО ПЕРЕПИСЫВАНИЯ СЛОВ. КАКИХ ИМЕННО СЛОВ? А ТЕХ, ЧТО НАПИСАНЫ НА ЛЕНТЕ

[@ДмитрийОстапущенко-у6я]

Я из ЛНР, на 8-й минуте класс!

[@IvanIvan-fx3nj]

Что за ЛНР? Это что такое? Это где? Щито ти! Чио ти!

[@АндрейПолурезов]

@@IvanIvan-fx3nj где-то

[@professionalheadbanger9439]

Слава Украине по такому поводу

[@zvezdochkin]

@@professionalheadbanger9439 Ты из окопа пишешь под Песками? LNR уже освобождена от YKR состояния. 😋👍

[@prohohols934]

@@professionalheadbanger9439 Героям Слава !

[@ИгорьПетров-ц4х]

Х1,5 и не благодарите

[@slavadfg]

х2 давно в порядке вещей для просмотра лекций)

[@zarich8874]

Про лнр мог бы и не шутить. - осуждаю, а вообще нормально обьяснил.

[@Adilet_Azimbaev]

Какой он... Зачем засорять лишней информацией, Боже В процессе пользования МТ это вообще не нужно Можно было в разы проще объяснить, а он несёт такую дичь... Просто, капец... Советовал бы студентам самим найти информацию, за 10 минут поймут поймут больше, чем он несёт за 1,5 часа

[@ДанилаЭнгель]

Так и не смотрели бы видео, загуглили бы как использовать МТ. Если Вы желаете поверхностных знаний, то вперед, он Вас смотреть это не заставлял, Вы тут по своей воле. Это в первую очередь теория матлогики, а не руководство по использованию МТ.