КАТЕГОРИИ:
АстрономияБиологияГеографияДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРиторикаСоциологияСпортСтроительствоТехнологияФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника
|
ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКИВсе многообразие элементов, и блоков, из которых состоит любая ЭВМ, является примером цифрового автомата (ЦА). Под цифровым автоматом будем понимать устройство, предназначенное для преобразования цифровой информации, способное переходить по воздействием входных сигналов из одного состояния в другое и выдавать выходные сигналы. Характерной особенностью ЦА является то, что они имеют дискретное множество внутренних состояний, и переход из одного состояния в другое осуществляется скачкообразно. Реальные ЦА конечны, т.е. множества входных и выходных сигналов и множество состояний конечны. ЦА функционируют в дискретные моменты времени, временной интервал Т между которыми называется тактом. В зависимости от того, чем определяется время Т , различают автоматы синхронного и асинхронного действия. Для ЦА асинхронного действия и определяется моментами поступления входных сигналов. Для ЦА синхронного действия входные сигналы действуют в строго определенные моменты времени, определяемые генератором синхронизирующих импульсов, в которые и возможен переход автомата из одного состояния в другое. По степени детализации описания различают абстрактные и структурные ЦА. Абстрактные ЦА рассматриваются как черный ящик, имеющий один вход и один выход. При рассмотрении структуры таких ЦА отвлекаются от структуры как самого автомата, так и его входных и выходных сигналов. Для задания абстрактного ЦА необходимо знать алфавита: входной алфавит , выходной алфавит и алфавит состояний . Тогда закон функционирования абстрактного ЦА может быть задан уравнениями:
где - функция переходов ЦА, - функция выходов ЦА, а0 – начальное состояние ЦА, a(t), z(t), w(t) – состояние автомата, входной и выходной сигналы в момент времени t. ЦА, закон функционирования которого определяется выражениями (1), называется автоматом Мили. Существуют также ЦА, для которых выходные сигналы зависят только от состояния автомата и не зависят от значений входных сигналов. Такие автоматы называют автоматами Мура. Они описываются уравнениями:
где - сдвинутая функция выхода. ЦА, для которых число внутренних состояний более одного, называют автоматами с памятью. ЦА с одним внутренним состоянием называют автоматами без памяти или комбинационными схемами. Закон функционирования таких автоматов будет определяться одним уравнением: w(t)=f[z(t)], т.е. каждому входному сигналу z(t) соответствует свой выходной сигнал w(t). Чаще всего задание абстрактных ЦА осуществляется с помощью матриц, таблиц переходов и выходов или одной совмещенной таблицы. Таблица 1
ЦА можно задать и с помощью направленного графа, вершины которого отождествляются с состояниями автомата, а соединяющие их стрелки – с входными и выходными сигналами.
Рис. 1
Решая задачу построения различных цифровых устройств ЭВМ, стараются свести ее к задаче анализа и синтеза комбинационных схем. При этом в качестве основного математического аппарата используется аппарат алгебры логики. Ее создателем является английский математик Буль, поэтому алгебру логики называют также булевой алгеброй. Основным понятием булевой алгебры является высказывание. Высказывание – это некоторое предложение, о котором можно утверждать, что оно истинно или ложно. Любое высказывание можно обозначить символом, например Х и считать, что Х=1, если высказывание истинно, и Х=0, если высказывание ложно. Логическая переменная (булева переменная) – такая величина Х, которая может принимать толшько два значения: 0 или 1(истинно или ложно) (true или false). Высказывание абсолютно истинно, если соответствующая ему логическая величина принимает значение, равное 1, при любых условиях. Например высказывание “Земля – это планета солнечной системы” абсолютно истинно. Высказывание абсолютно ложно, если соответствующая ему логическая величина принимает значение, равное 0 при любых условиях. Например высказывание “Земля – спутник Марса” абсолютно ложно. Логическая функция – это функция f(x1, x2,…,xn), принимающая значение, равное 0 или 1 на наборе логических переменных x1, x2,…,xn. Общее число наборов двоичных переменных, на которых определяется булева функция, равно 2n. Любая булева функция может быть задана с помощью таблицы истинности. Чаще всего используются булевы функции одной или двух переменных. Для одной переменной существуют всего 4 различных булевы функции: Таблица 2
Функция f1(x) является абсолютно истинной (константа единицы). Функция f2(x) является абсолютно ложной (константа нуля). Функция f3(x), повторяющая значение логической переменной, является тождественной функцией . Функция f4(x), принимающая значения, обратные значениям переменной х, называется логическим отрицанием или функцией НЕ . Для двух логических переменных существуют 16 логических функций:
Таблица 3
Дизъюнкция (логическое сложение, логическое ИЛИ) истинна только тогда, когда истинны или Х1 или Х2 или обе переменные. Конъюнкция (логическое умножение, логическое И) истинна только тогда, когда истинны и Х1 и Х2. Обозначается Х1Х2, Х1∩Х2, Х1&Х2. Сложение по модулю 2 (исключающее ИЛИ) истинна только тогда, когда Х1 и Х2 не равны друг другу.
|