СУЭБ ИВТ СО РАН |
А.М.Федотов |
(императивный стиль программирования) — это парадигма программирования, которая описывает процесс работы ЭВМ (план вычислений) в виде последовательности инструкций, изменяющих состояние программы. Императивная программа очень похожа на приказы, выражаемые повелительным наклонением в естественных языках, то есть это последовательность команд и логических переходов, которые должен выполнить компьютер. Императивный стиль программирования основан на фон неймановской модели вычислений. Методология императивного программирования характеризуется принципом последовательного изменения состояния вычислителя пошаговым образом. При этом управление изменениями полностью определено и полностью контролируемо. Для решения задачи с использованием императивного стиля программирования необходимо: вначале создать модель вычислений в некоторой формальной системе, а затем записать ее на императивном языке. В качестве математической модели вычислений императивное программирование использует машину Тьюринга-Поста — абстрактное вычислительное устройство, предложенное на заре компьютерной эры для описания алгоритмов и решения проблемы вычислимости.
© 2013-2024, Евразийский национальный университет им. Л.Н.Гумилева, Астана © 2007-2024, Новосибирский государственный университет, Новосибирск © 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск © 1998-2024, Федотов А.М. |
ФИТ НГУ НГУ ЕНУ им.Гумилева ИВТ СО РАН |