6. Сравните интуитивное и строгое понятия алгоритма.

Интуитивное понятие описывает алгоритм неформально — как понятную конечную последовательность действий, ведущую к решению задачи. Строгое понятие задаётся математической моделью, например машиной Тьюринга или машиной Поста: точно указываются допустимые команды, состояния и правила выполнения. Строгое описание позволяет формально доказывать свойства алгоритмов.