Теория алгоритмов и формальных языков. Мелихов А.Н - 10 стр.

UptoLike

программирование реально выполняется на языке машинных команд, т.е. на
некотором (алгоритмическом) языке, удобном для программиста, и
программы, составленные на этом языке, затем переводится с помощью
трансляторов в машинные программы, которые и используются. Таким
образом, программа, записанная на алгоритмическом языке в форме, удобной
для программиста, является для него окончательной. Перевод же
ее в
машинную программу ЭВМ берет на себя.
Несмотря на различия в длине (машинная программа, естественно,
гораздо длиннее программы, записанной на алгоритмическом языке), обе они
имеют одинаковую структуру.
Различают программы линейной структуры, программы с условиями,
программы с циклами и та далее. Структура программы зависит также от
способа представления информации,
с которой она работает.
Одна и та же задача может быть, вообще говоря, описана несколькими
программами. Эти программы являются эквивалентными, если они записаны
на одном и том же языке. Среди эквивалентных программ наиболее
экономная, а значит более лучшая та, что имеет меньшее число команд и
использует меньший объем памяти.
Проблема
экономии памяти требует строить программы специальной
структуры, проводить преобразование программы, организовывать
распределение памяти и оценивать баланс между расходом памяти и
расходом времени на распределение памяти. Все это реализуется
специальными алгоритмами.
Таким образом, в общем случае программа - это конечное
упорядоченное множество предписаний, записанное в символах некоторого
алгоритмического языка и представляющее собой
такую форму записи
алгоритма, понятную ЭВМ (транслятору), при которой обеспечивается его
наибольшее эффективное исполнение.