Cтраница 4
Программа, написанная на любом языке, отличном от машинного, должна быть преобразована в последний прежде, чем ЭВМ сможет по ней работать. Однако эта необходимая стадия трансляции почти незаметна для того, кто пользуется ЭВМ; она производится почти полностью автоматически и во всяком случае имеет второстепенное значение для пользователя или программиста. В зависимости от вида системы символов эта стадия называется компиляцией, интерпретацией, трансляцией или сборкой. Окончательная программа на языке ЭВМ называется рабочей программой. [46]
К числу математических средств, которые понадобятся с самого начала курса, относятся представления векторной алгебры и векторного анализа. Эти разделы математики знакомы читателю, поэтому будет дана лишь краткая сводка необходимых средств с комментарием. Попутно вводится используемая в книге система символов. [47]
В приложениях часто бывает важно, чтобы в схеме языка исчисления предикатов присутствовал знак равенства. Предикат равенства можно вводить в систему символов отношений Ф и одновременно в аксиомы исчисления предикатов добавляются аксиомы равенства. Равенство можно определить и для произвольных алгебр Халмоша, и делается это следующим образом. [48]
Важное место в развитии автоматизации программирования занимают алгоритмические языки. Алгоритмический язык, - это формальный язык, предназначенный для записи алгоритмов. Он представляет собой связанную синтаксической структурой систему символов и правил, управляющих способом и последовательностью, в которой символы могут соединяться в осмысленное сообщение. Алгоритмические языки отличаются от естественных языков большой строгостью правил, полностью исключающих неоднозначное толкование структурных преобразований. Программа задачи, составленная на алгоритмическом языке, называется исходной программой. После ее перенесения на технический носитель она вводится в ЭВМ, где транслируется. [49]
Обычно в программировании на Лиспе используются лишь включенные в систему символы, чтобы применяемые в программе символьные имена имели одинаковый смысл. Если символы не включаются в систему, то с логически одинаковым именем из-за наличия физически различных символов могут быть связаны несколько различных значений, определений функции или других данных. Однако в некоторых случаях использование невключенных в систему символов может в некоторой мере сократить вычисления. [50]
Обычно для выбора системы символов при составлении программы обработки масс-спектрометрических данных приводится мало серьезных соображений. Чаще всего программист хорошо владеет только одним языком ( обычно это ФОРТРАН) или вычислительный центр работает только на одном языке ( также, как правило, ФОРТРАН в США); иногда приобретают программу, составленную в другом месте. Фактически можно составить хорошую программу в любой когда-либо изобретенной системе символов ЭВМ, хотя и смешно делать это в системе, мало приспособленной для математических выражений, например СНОБОЛ или даже КОБОЛ. [51]