Cтраница 4
В самом деле, рассматривая способ, которым вход uv, we Л, v е Z, кодировался двуленточной машиной ( доказательство леммы 1), мы видим, что на одной лепте машине придется закодировать и и v в том виде, в котором они поступают на вход. В конце кодировки v машина М находится далеко от t ( u) если подать теперь аи на вход, М не сможет сравнить его с и. Эти рассмотрения весьма далеки от доказательства, так как они относятся только к наиболее очевидному способу кодирования, а в доказательстве невозможности мы должны принимать во внимание все мыслимые способы кодирования. [46]
Макрокоманды ОС ЕС представляют собой средства программирования на языке ассемблера операций ввода-вывода для методов доступа BDAM, BISAM, ВРАМ, BSAM, QSAM, QISAM и VSAM. Расширениями макрокоманд являются цепочки команд, области данных, константы и команды SVC или перехода, с помощью которых осуществляется передача управления программам методов доступа. Для ряда макрокоманд всех методов доступа возможны три формы записи: стандартная, описательная и исполнительная. Способы кодирования описательной, исполнительной и генерирующей форм макрокоманд всех методов доступа и операндов макрокоманд VSAM содержатся в их описаниях. [47]
Программирование - подразделение всей задачи на последовательность арифметических операций, которые могут быть представлены в виде команд и выполнены в вычислительном устройстве. Кодирование заключается в переводе этих команд на язык символов, с которыми оперирует вычислительное устройство. Поскольку все универсальные цифровые вычислительные устройства выполняют по существу одни и те же операции, то программы различных вычислительных устройств различаются лишь в деталях. Способы кодирования отличаются значительно, но переход от одного способа кодирования к другому не представляет труда, поскольку состоит лишь в изменении символов. [48]
В этом случае изменение состояний автомата происходит во время отсутствия входных сигналов. Способы кодирования состояний автомата, исключающие гонки, называют противогоночными. Обозначим через Ki - j множество кодов ( наборов) состояний элементарных автоматов, которые могут возникнуть при переходе из Kt в К / за счет неодновременного переключения последних. Можно показать, что если для любых пар переходов автомата из г, в г / и из zs в zp, вызываемых одним и тем же входным сигналом, во множествах / G - / и Ks - p отсутствуют одинаковые коды, то гонки в таком автомате также отсутствуют. Если же имеется хотя бы одно состояние, код которого входит как в / G - /, так и в Ks - p, то гонки могут возникать. [49]
Применяются два типа кодирования данных. Первый - на основе непрерывного синусоидального несущего сигнала - называется аналоговой модуляцией, или просто модуляцией. Кодирование осуществляется за счет изменения параметров аналогового сигнала. Второй тип кодирования называется цифровым кодированием и осуществляется на основе последовательности прямоугольных импульсов. Эти способы кодирования различаются шириной спектра передаваемого сигнала и сложностью аппаратуры для их реализации. [50]
Первый заключается в поддержании уровня мощности вблизи 50 % уровня. Код Манчестер и biphase - M, по определению, всегда характеризуются 50 % уровнем мощности и, таким образом, удовлетворяют указанному требованию. К недостаткам можно отнести то, что используется в два раза более широкая частотная полоса пропускания, чем требуется для передачи данных. Эти способы кодирования приводят и к усложнению конструкции передатчика. [51]