Cтраница 3
Еще одно направление исследований в теории кодирования связано с тем, что многие результаты ( напр. Шеннона и граница ( 3)) не являются конструктивными, а представляют собой теоремы существования бесконечных последовательностей Кп кодов ЕВ - В связи с этим предпринимаются усилия, чтобы доказать эти результаты в классе таких последовательностей Кп кодов, для к-рых существует машина Тьюринга, распознающая принадлежность произвольного слова длины I множеству J % iKn за время, имеющее медленный порядок роста относительно I ( напр. [31]
Она состоит из семи последовательных элементов строки. Тело третьего элемента строки содержит слово EQU L I LJ, а пятого - абсолютное или простое перемещаемое выражение, дополненное символами LJ до 55 - общего числа символов в теле пятого элемента строки либо одно из указанных выражений и произвольное слово языка ассемблера, резделенные пробелом. Это произвольное слово называется комментарием. Тело седьмого элемента строки содержит восемь пробелов. [32]
Пусть дано левое действие v: с П а - а моноида с. Опишите свойства канонических отображений ги с а - Ь CL -, где г - произвольное слово длины не меньше чем 1 с последним символом ( -) ( определите, что это значит), a wc a получается из ги, если подставить а вместо последнего символа, ас - вместо остальных. [33]
Перед тем, как перейти к приложениям неразрешимости проблемы равенства слов в некоторых представлениях, мы опишем другой подход к построению групп с неразрешимой проблемой слов, принадлежащий Хигману [98]; этот подход вскрывает глубокую связь между идеями вычислимости и конечной представимостью групп. Множество А слов над SB называется эффективно перечислимым, если существует некоторая эффективная процедура, перечисляющая элементы А. Следует подчеркнуть, что это вовсе не означает, что элементы множества А перечисляются таким образом, что для произвольного слова возможно за конечное число шагов установить, лежит оно в А или нет. Мы оставим интуитивным понятие эффективной процедуры и заметим только, что его точное определение аппелирует к понятиям наподобие машины Тьюринга. [34]
В языке ассемблера имеет место конструкция определения элементарных идентификаторов. Она состоит из семи последовательных элементов строки. Тело третьего элемента строки содержит слово EQU 1 1Ы, а пятого-либо символический адрес, дополненный символами 11 до 55-общего числа символов в теле пятого элемента строки, либо символический адрес и произвольное слово языка ассемблера, разделенные пробелом. Это произвольное слово называется комментарием. Тело седьмого элемента строки содержит восемь пробелов. [35]
В языке ассемблера имеет место конструкция определения элементарных идентификаторов. Она состоит из семи последовательных элементов строки. Тело третьего элемента строки содержит слово EQU 1 1Ы, а пятого-либо символический адрес, дополненный символами 11 до 55-общего числа символов в теле пятого элемента строки, либо символический адрес и произвольное слово языка ассемблера, разделенные пробелом. Это произвольное слово называется комментарием. Тело седьмого элемента строки содержит восемь пробелов. [36]
Запоминающее устройство типа ССД450 с информационной емкостью 9216 -бит организовано в виде 1024 девятиразрядных слов. ПЗС имеют скрытые каналы и самосовмещенные ( без зазоров) электроды, между соседними ступенями регенерации включено 128 ПЗС; вместе с матрицей ПЗС на кристалле размещены также схемы счи -, гывания, синхронизации и двухуровневого преобразования сигналов, построенные на n - канальных МДП транзисторах. Поскольку в каждом из регистров информация сдвигается параллельно, то данное ЗУ обеспечивает обработку девятиразрядных слов. Время выборки очередного слова составляет 70 - 100 не, максимальное время выборки при считывании произвольного слова составляет 330 мкс. Запоминающее устройство размещено в корпусе с 18 выводами. [37]