Понятие предиката. Множество истинности предиката. Классификация предикатов

Тьюринг вычислительный предикат.Проиллюстрируем на примерах все введенные понятия, связанные с машинами Тьюринга.Введенное понятие является удобным инструментом для конструирования машин Тьюринга.На понятие алгоритма можно взглянуть и с несколько иной точки зрения.0 ? 0п.(6) : 1 ? 1п.Это предположение известно как тезис Черча-Тьюринга.Работа состоит введения, заключения, списка использованных источников и двух глав.Машина Тьюринга есть математическая (воображаемая) машина, а не машина физическая.Причем шаг осуществляется на основании предписанной команды.