Cтраница 3
Для простоты в табл. 28 приведены величины суммарных выходов продуктов в каждом процессе; выход какого-нибудь одного продукта за круговой процесс, если необходимо, определяется аналогично по данным таблиц выходов продуктов за однократный пропуск системы. [31]
Для упрощения в таблице приведены величины суммарных выходов продуктов в каждом процессе; при необходимости иметь выход какого-нибудь одного продукта за круговой процесс, он определяется аналогично по данным таблиц выходов продуктов за однократный пропуск системы. [32]
При задании ( частичного) автомата А таблицами переводов и выходов таблица переходов автомата В получается прочеркиванием всех мест таблицы переходов автомата А, которым соответствуют прочеркнутые места в его таблице выходов. [33]
Если таблицы выходов и переходов рассматривать как матрицы инцидентности некоторых моделей, то внутренние состояния Sa и 5р эквивалентны, если и только если производные от модельных графов, соответствующих таблицам выходов и переходов, равны 0 на каждом шаге разбиения множества внутренних состояний на классы. [34]
Нетрудно заметить, что, не нарушая - индуцируемого автоматом А отображения на множестве допустимых слов исходного отображения р, можно заменить черточками все вхождения нулевого выходного сигнала во все столбцы таблицы выходов, отличные от начального столбца. [35]
Для простоты в таблице приведены величины суммарных ныходо 1 иродукто в каждом узле схемы; при необходимости иметь iыход какого нибудь одноо продукта за круг вой процесс он определяется знал гично по данным таблиц выходов продуктов за однократный пропуск. [36]
Пусть автомат Мили задан таблицей переходов и таблицей выходов ( табл. 3.5), где в клетках таблицы переходов записаны состояния, в которые переходит автомат из исходного состояния при соответствующем входе, а в клетках таблицы выходов записывается выход при тех же условиях. Нетрудно видеть, что приведенный пример соответствует реверсивному счетчику, причем выходы Y1 и Y2 соответствуют выдаче сигналов переноса. [37]
Для простоты в таблице приведены величины суммарных выходе з цродуктсл в каждом узле схемы; при необходимости иметь выход какого нибудь одно: о продукта за круг вой процесс он определяется анал ( гично по данным таблиц выходов продуктов за однократный пропуск. [38]
Поэтому каждое состояние q Q отмечено некоторой выходной буквой уеУ, которая ставится в скобках около элемента q Q в левой части записи отображения F множества Q. Таблица выходов автомата Мура сводится, таким образом, к одной строке. Располагая эту строку над буквами алфавита состояний таблицы переходов, приходим к так называемой отмеченной таблице переходов, которая однозначно задает некоторый автомат Мура. [39]
Метод минимизации внутренних состояний автомата, основанный на склеивании эквивалентных состояний, состоит в последовательном выделении классов эквивалентных состояний. Для этого используются таблицы выходов и переходов. [40]
Заметим, что таблицы кодирования состояний, входных и выходных сигналов, а также кодированная таблица переходов совершенно одинаковы в автоматах Мили и Мура. Что же касается кодированной таблицы выходов, то они отличны друг от друга. [41]
Для примера возьмем автомат Мура с четырьмя входными векторами ( т4) и тремя внутренними состояниями ( п3), два из которых ( второй и третий) имеют одинаковые значения выходных векторов - двойку ( рис. 2.6. а. Если обратить внимание на таблицу выходов ( рис. 2.6.6.), то состояния 2 и 3 различаются для всех входных векторов, кроме второго, т.е. любой из оставшихся трех векторов ( 1, 3 или 4) может служить для различия внутренних состояний 2 и 3 друг от друга. Если при восстановлении входные вектора подавать в порядке увеличения их номера, то получим одну восстановленную таблицу переходов с двумя внутренними состояниями ( рис. 2.6. В. Двузначности таблицы переходов обнаружено не было несмотря на то, что внутренние состояния 2 и 3 имеют много различающих входных векторов. [42]
Пусть А и Л, - автоматы Мили, построенные в результате применения правил 3, 4, 5а к комплексам К и Kt. Аналогичное явление происходит и в таблице выходов. Из определения же квазиподобных мест вытекает, что объединяемые таким образом столбцы как в таблице переходов, так и в таблице выходов оказываются одинаковыми. Как показано в § 10, посвященном минимизации автоматов, слияние столбцов при таких условиях не меняет отображения, индуцируемого автоматом, а следовательно, не меняет и представляемых им событий. [43]
Для частичных автоматов употребляются те же способы задания, что и для вполне определенных автоматов. В тех местах таблицы переходов или таблицы выходов ( обычной или сдвинутой), в которых изображаемые ими функции не определены, мы будем ставить черточки. Граф частичного автомата чможет иметь вершины, из которых не выходят стрелки, обозначенные теми или иными входными сигналами. [44]
Наконец, пятый шаг алгоритма синтеза употребляется тогда, когда требуется синтезировать не автомат Мура, а автомат Мили. Он заключается в построении обычной ( несдвинутой) таблицы выходов. Как следует из § 1 настоящей г. авы, для этого достаточно в таблицу переходов подставить вместо внутренних состояний отмечающие их выходные сигналы. [45]