Реферат: Нормальные Алгоритмы Маркова Построение алгоритмов из алгоритмов

Следствие 3.3 Алгоритм - это конструктивный объект. В случае Машины Тьюринга атомарными объектами являются команды, а теорема 3.5 определяет правила композиции.

Выводы:

Алгоритм - конструктивный объект;

Алгоритм можно строить из других алгоритмов;

o, ||, if_then_else, while_do - универсальный набор действий по управлению вычислительным процессом.

Вопросы :

Что такое правило подстановки?

Зависит ли результат от порядка следования правил в НАМ?

Что происходит когда не применимо ни одно правило подстановки?

Что утверждает тезис Маркова?

Можно ли доказать тезис Маркова?

Семантика операции o?

Семантика операции ||?

Семантика операции if_then_else?

Семантика операции while_do?

Что такое конструктивный объект?

Алгоритм - это конструктивный объект?