Cтраница 3
В качестве признака управляющего предложения должна выбираться такая комбинация из символов, -, , / ( не более грех), которая не встречается в первых позициях предложений фрагментов программ, содержащихся в этом задании. Удобнее всего пользоваться признаком, который не может появиться в предложениях программ из-за синтаксических особенностей языка программирования. Например, в первой позиции предложения Фортрана не может встретиться символ, поэтому он обычно используется в качестве признака в задании, содержащем фрагменты программ на Фортране. [31]
Параграфы необходимы и состоят из выбранного пользователем имени-параграфа, которое начинается в поле А и за которым следует одно или более предложений, начинающихся в поле В. Имя-параграфа служит в качестве метки для передачи управления при ветвлении последовательности выполнения предложений программы, когда встречается оператор передачи управления. Обычно последовательность выполнения совпадает с порядком, в котором записаны предложения программы и в котором кто-либо читал бы их. [32]
Модули TextEditor и TextFormatter используют множество процедур модуля CRT. Основная программа использует только процедуры ClearTheScreen и Prompt и тип CharSet, как определено в предложениях Import программы. [33]
Хотя результаты таких исследований читаются с интересом, они не особенно полезны при выяснении того, как же избежать ошибок. Например, из первой серии упоминавшихся результатов можно сделать вывод, что необходимо правильно выбирать последовательность предложений программы. [34]
Алгоритмический язык имеет определенный набор служебных слов, служащих для формирования фраз на языке. Служебные слова играют роль символов, хотя и набираются из отдельных литер. В предложениях программы служебные слова могут использоваться только в строго определенном порядке и сочетании. Нарушение порядка их записи или использование отдельных слов недопустимо. [35]
Конечно, в настоящих реализациях Пролога в процедуру вычислить добавлены и еще некоторые усовершенствования. Поэтому на практике пролог-система не просматривает все предложения программы, а вместо этого рассматривает только те из них, которые касаются текущего целевого утверждения. [36]
Во время трансляции для каждой программной секции Ассемблер заводит свой счетчик адреса. Этот счетчик содержит адрес оперативной памяти для следующей команды, которую требуется исполнить. Счетчик адреса служит для присвоения адресов памяти предложениям программ. Всякий раз, когда Ассемблер обнаруживает в предложении типа машинной команды символическое имя, являющееся ссылкой на адрес оперативной памяти, Ассемблер проверяет, имеется ли в его распоряжении базовый регистр, содержащий подходящий базовый адрес. Базовый адрес, содержащийся в регистре, является подходящим только тогда, когда он не превосходит адреса, требуемого в команде. Разность этих адресов не должна быть больше 4095 байтов. [37]
Имя команды START идентифицирует программу и устанавливает начальное значение счетчика адресов программы, который будет вести компилятор. Начальное значение счетчика адреса задается в поле операнда. Текущие значения счетчика адреса формируются компилятором по мере обработки предложений программы. [38]
Параграфы необходимы и состоят из выбранного пользователем имени-параграфа, которое начинается в поле А и за которым следует одно или более предложений, начинающихся в поле В. Имя-параграфа служит в качестве метки для передачи управления при ветвлении последовательности выполнения предложений программы, когда встречается оператор передачи управления. Обычно последовательность выполнения совпадает с порядком, в котором записаны предложения программы и в котором кто-либо читал бы их. [39]
Имя команды START идентифицирует программу и устанавливает начальное значение счетчика адресов программы, который будет вести компилятор. Начальное значение счетчика адреса задается в поле операнда. Текущие з: - чения счетчика адреса формируются компилятором по мере обработки предложений программы. [40]
Имя команды START идентифицирует программу и устанавливает начальное значение счетчика адресов программы, который будет вести компилятор. Начальное значение счетчика адреса задается в поле операнда. Текущие зк - чения счетчика адреса формируются компилятором по мере o6f - ботки предложений программы. [41]
Они были готовы к сотрудничеству с самодержавием. Поэтому их деятельность в основном состояла в подаче на имя царя адресов - ходатайств с предложением программы преобразований. [42]
Первая - дать введение в Модулу-2. Вторая - описать проблемы, возникающие при разработке больших программ, и показать, как современные языки структурного программирования, подобные Модуле-2, помогают в решении этих проблем. Мы чувствовали, что просто объяснить правила написания предложений программы на Модуле-2 недостаточно. Не менее важно понять, что определенные средства языка включены в Модулу-2 с целью разработки больших, но в то же время простых в обслуживании, надежных и понятных программ. [43]
Все четыре управляющие структуры, приведенные в последнем параграфе, приводят к повторению последовательности предложений. Эти структуры осуществляют циклическое управление потоком инструкций. Управляющие структуры второго типа осуществляют выбор альтернативных действий на основании условий, заданных программистом. Эти структуры называются управляющими структурами перехода, поскольку они задают переходы в последовательности выполнения предложений программы, которая в противном случае была бы прямой. Без управляющих структур перехода все программы на Модуле-2 просто выполняли бы предложения в том порядке, в каком они записаны, за исключением, возможно, циклического возврата к некоторым сегментам программы. Управляющие структуры перехода играют существенную роль при написании большинства программ. [44]
Поиск основан на методе проб и ошибок. Две последние ветви предложения COND в функции ДОКАЖИ-КАЖДЫЙ реализуют необходимый для возврата механизм. Если предикаты из тела правила, заключение которого унифицировано, не удастся унифицировать рекурсивным вызовом ДОКАЖИ, то рекурсивный вызов из последней ветви дает новую возможность, пока все предложения программы не будут перепробованы для унификации с доказываемым предикатом. [45]