Сообщение Re[2]: бесконечный цикл за конечное время от 02.12.2014 12:44
Изменено 02.12.2014 12:44 kochetkov.vladimir
Здравствуйте, fin_81, Вы писали:
_>Надо сперва дать определение цикла, времени, и бесконечности в рамках одной теории
Цикл — повторяющаяся последовательность смены состояний МТ. Время, необходимое для выполнения МТ одной атомарной операции (чтение с ленты -> переход между состояниями -> перемещение головки -> запись на ленту) — единица времени. Поскольку МТ и основные, связанные с ней теоремы, сформулированы в ZFC, то вопрос определения бесконечности как бы не стоит
_>Надо сперва дать определение цикла, времени, и бесконечности в рамках одной теории
Цикл — повторяющаяся последовательность смены состояний МТ. Время, необходимое для выполнения МТ одной атомарной операции (чтение с ленты -> переход между состояниями -> перемещение головки -> запись на ленту) — единица времени. Поскольку МТ и основные, связанные с ней теоремы, сформулированы в ZFC, то вопрос определения бесконечности как бы не стоит
... << RSDN@Home 1.2.0 alpha 5 rev. 76>>
Re[2]: бесконечный цикл за конечное время
Здравствуйте, fin_81, Вы писали:
_>Надо сперва дать определение цикла, времени, и бесконечности в рамках одной теории
Цикл — повторяющаяся последовательность смены состояний МТ. Время, необходимое для выполнения МТ одной атомарной операции (чтение с ленты -> переход между состояниями -> перемещение головки -> запись на ленту) — единица времени. Поскольку МТ и основные, связанные с ней теоремы, сформулированы в рамках ZFC, то вопрос определения бесконечности как бы не стоит
_>Надо сперва дать определение цикла, времени, и бесконечности в рамках одной теории
Цикл — повторяющаяся последовательность смены состояний МТ. Время, необходимое для выполнения МТ одной атомарной операции (чтение с ленты -> переход между состояниями -> перемещение головки -> запись на ленту) — единица времени. Поскольку МТ и основные, связанные с ней теоремы, сформулированы в рамках ZFC, то вопрос определения бесконечности как бы не стоит
... << RSDN@Home 1.2.0 alpha 5 rev. 76>>