Cтраница 4
Получается несколько иная картина, если в качестве дискретного преобразователя рассматривать программу вычислительной машины, а в качестве состояний операционного устройства - состояния той части памяти, на которую воздействует эта программа. В отличие от первого случая здесь в качестве элементарных действий выступают макрооперации вычислительной машины, а не микрооперации. [46]
Рассмотренное соответствие между нормальными алго - рифмами и дискретными преобразователями приводит к бесконечным входному и выходному алфавитам дискретного преобразователя. Каждый дискретный преобразователь, соответствующий некоторому нормальному алгорифму, использует только конечное число выходных сигналов, поэтому его выходной алфавит можно сузить до конечного алфавита. Аналогично можно было бы ограничить и входной алфавит, сопоставляя его элементам различные подмножества множества подстановок алгорифма. [47]
Если множества X, У, А конечны, дискретный преобразователь назовем конечным. [48]
Информация от дискретных первичных ИП поступает на устройство коммутации дискретных преобразователей УКДП. Дискретными преобразователями могут быть электромеханические контакты или любой преобра-зователь с цифровым выходом. [49]
Детально разработанные к настоящему времени математические теории, включая теорию дискретных преобразователей, ориентированы в основном на исследование свойств динамической обработки данных при помощи последовательно функционирующей детерминированной системы без обменов информацией и характеризуют определенный этап в развитии вычислительной техники и программирования. Однако, как уже подчеркивалось, в настоящее время наблюдается повсеместная тенденция к усложнению систем обработки информации за счет объединения отдельных систем в сложные взаимодействующие между собой вычислительные и программные комплексы. Значительно возрастает роль обменов информацией между частями сложного комплекса Это приводит к новым качественным отличиям от процесса независимой стационарной обработки с неизменяемой управляющей структурой. Сложившаяся ситуация находит отражение в появлении многочисленного семейства алгоритмических языков высокого уровня с развитыми средствами описания взаимодействия отдельных частей процессов, а также в многочисленных теоретических исследованиях рекурсивных и параллельных моделей вычислений. [50]
Возможны два подхода к представлению вычислительной среды программ с позиций теории дискретных преобразователей. По первому подходу структура данных - единичный объект с тождественным сдвигом, представляющий собой вектор имен всех встречающихся в программе переменных и констант. Операторы присваивания изменяют информационное наполнение соответствующих компонент вектора имен. Результат программы в этом случае рассматривается по памяти. По второму подходу структурой данных можно считать множество всех возможных векторов, компоненты которых принимают значения соответствующих переменных. В этом случае информационное наполнение вектора совпадает со значением вектора, а операторы присваивания, изменяющие значения векторных компонент, задают сдвиги по структуре данных. Программа в этом случае представляется читающим преобразователем, а результат рассматривается относительно данных. [51]
Двоичная система неудобна для визуальной индикации и регистрации, однако вычислительные устройства и дискретные преобразователи, работающие по двоичной системе, построены на более надежных и простых элементах, имеющих только два хорошо различимых состояния. [52]
Если два автомата индуцируют одно и то же отображение, то, рассматриваемые как дискретные преобразователи с одной и той же интерпретацией, они будут эквивалентны в слабом смысле. Если учесть при этом роль заключительного состояния, получим определение следующей сильной формы эквивалентности. [53]