Условное ветвление

Cтраница 2

Управляющие структуры Лиспа относительно просты. Выражения, используемые для составления программ, записываются в строго кембриджской польской форме и могут содержать условное ветвление. Конструкция PROG дает простую структуру для записи последовательности выражений, при этом можно употреблять метки и инструкции goto. Имеются примитивы ( называемые функционалами) для последовательного генерирования элементов списков. В большинстве программ на Лиспе широко используются рекурсивные вызовы подпрограмм. [16]

Заметим, что маркировка дуг, подобная используемой в М - сетях, применяется для анализа некоторых разрешимых подклассов потоковых моделей, в частности акторных моделей типа SDF. Однако сразу же следует подчеркнуть, что такие модели, как SDF, являются детерминированными моделями вычислений без условных ветвлений и альтернативных слияний потоков данных. Разумеется, и семантическая природа меток в М - сетях иная: по сути она соответствует числу особых состояний, когда осуществляется обмен данными между процессами, а переход в эти особые состояния случаен. [17]

Команды ветвления микропроцессора Intel 8085A Команда Назначение. [18]

Ветвление может быть условным, т.е. осуществляться при выполнении ряда условий, либо безусловным. Адрес, указанный в команде безусловного перехода, загружается в счетчик команд, и управление выполнением программы передается туда. При условном ветвлении операция выполняется в случае истинности заданного условия. В противном случае эта операция пропускается, и далее программа выполняется в установленной последовательности. [19]

Синтаксис повышает наглядность программы, если синтаксические различия отражают лежащие в основе семантические различия. Таким образом, программные конструкции, имеющие одинаковое назначение, должны выглядеть одинаково, а имеющие в корне различное назначение - совершенно по-разному. Например, различие между условным ветвлением, итерацией и управляющей структурой goto выявляется в большинстве языков путем использования различных типов инструкций с различной синтаксической структурой. [20]

Каждому входному сообщению процесса р соответствует выходное сообщение, так что выходная очередь - это массив из с х d наборов результатов, при этом в J-M буфере хранится массив из outj х d результатов, где out. Глубина d входных и выходных буферов процесса р может присваиваться как метка соответствующей вершине М - сети. Формирование промежуточных и окончательных результатов вычислений происходит асинхронно, и появление любого из них переводит выходной буфер ( процесс) в одно из особых состояний. Условные ветвления реализуются процессами с одним выходным буфером, который может находиться в одном из заключительных состояний, причем ему соответствует определенное значение управляющей переменной процесса, которому передается управление. [21]

В множество Y включаются подмножество ординарных выходных позиций, а также подмножество позиций, соответствующих альтернативным переключениям ( switch, или swh) и ветвлениям ( fork, или frk) исходящих потоков данных. В общем случае входная позиция любой вершины v 6 V может быть ординарной или slt - позицией. Выходная позиция вершины v является ординарной, frk - позицией либо единственной выходной swh - позицией, которой инцидентно не менее двух информационных дуг. Этот случай соответствует условному ветвлению. Точкой входа в цикл является slt - позиция. [22]

Страницы: 1 2