Для описания конечных цифровых автоматов можно использовать стандартные (автоматные) языки и начальные языки.
Стандартные или автоматные языки описания.
Они описывают функции переходов и выходов в явном виде, а именно в виде:
Таблиц переходов и выходов;
Из определения автомата следует, что его всегда можно задать таблицей с двумя входами, содержащей m строк и n столбцов, где на пересечении столбца q(состояния автомата) и строки а (входные сигналы) стоят значения функций φ(l) (a i ,q j) (функция переходов); \|/ (m )(a i ,q j)(функция выходов).
Таблица 1
2) графа, представляющего наглядно функции l и m ..
Другой способ задания конечного автомата - графический. При этом способе состояния автомата изображают кружками, в которые вписывают символы состояний q j (j= 1,..., п). Из каждого кружка проводится m стрелок
(ориентированных рёбер) взаимно-однозначно соответствующих символам входного алфавита X(V). Стрелке, соответствующейбукве а i X и выходящей из кружка q j Q(S), приписывается пара (а i , \|/ (a i ,q j) , причем эта стрелка ведет в кружок, соответствующий φ (a i ,q j)
Полученный рисунок называется графом автомата или, диаграммой Мура. Для не очень сложных автоматов этот способ более нагляден, чем табличный.
Автомат Мура
Абстрактный автомат Мура это частный случай автомата Мили (4), когда выходной символ зависти только от состояния автомата, а именно функция выходов автомата Мура:
w =m (s ) (5)
Для каждого автомата Мили можно построить эквивалентный автомат Мура, реализующий точно такой же алфавитный оператор. Пусть A = <V,W,S,l,m,s (0)> автомат Мили. В качестве состояний эквивалентного автомата Мура возьмем пары . Тогда функция выходов эквивалентного автомата Мура
а функция переходов
Задание конечного автомата системой булевых функций
Третий способ задания конечного автомата А = (X;Q;Y; φ ;\|/), заданного таблицей или диаграммой Мура, состоит в определении системы булевых функций.
X-входной алфавит;
Q-множество состояний автомата;
Y-выходной алфавит;
φ -функция перехода;
\|/-функция выходов.
Изложим алгоритм этого способа задания.
1.Находим числа k, r, s,
удовлетворяющие условиям 2 k -1 < т
< 2 k ;
2 r
- 1 < п ≤ 2 r ;
2 s - 1
Очевидно, что k,r, s соответственно равны числу разрядов в двоичном представлении чисел т, п, р. Например, если т - 5, п = 17, р = 3, то k= 3, r= 5,s = 2.
2. Кодирование состояний входных и выходных символов исходного
автомата.
Каждому q j Q взаимно-однозначно ставим в соответствие двоичную последовательность длины r - двоичный код = z 1 z 2 z r . Аналогично каждому а i X и b k Y ставим взаимно однозначно в соответствие двоичные последовательности =x 1 x 2 x k ; =y 1 y 2 y s .
Отметим, что кодирование состояний, входных и выходных символов можно провести многими способами. При этом некоторые последовательности (коды) могут оказаться неиспользованными.
| . |
3.Составляем следующую таблицу:
Эта таблица содержит k + r + r + s столбцов и 2 k + r строк. В первых k + r столбцах выписаны все наборы длины k + r. Каждый такой набор соответствует паре (), где -возможный код некоторого состояния, код входного символа.
4.Заполнение последних столбцов в таблице (предыдущий шаг).
Для каждой пары (a i ,q j), где а i X; q j Q, находим код и . По таблице автомата (или диаграмме Мура) определяем и \|/(а; q) = Y. Затем находим код = " 1 " 2 ... ",. и код .
В строку таблицы соответствующую набору
дописываем набор
5. Определение системы булевых функций.
После выполнения предыдущего шага может оказаться, что все строки в таблице заполнены. Это произойдет в том случае, если хотя б одно из чисел m, n не является степенью 2. Таким образом, функции окажутся не полностью определенными – на некоторых наборах их значения не определены. Тогда мы их доопределяем произвольным образом. Как правило, доопределение функций проводят так, чтобы получившиеся полностью определенные функции удовлетворяли тем или иным условиям оптимальности, например представлялись минимальными ДНФ.
После выполнения этого шага исходный автомат будет задавать системой полностью определенных булевых функций
3.2 Начальные языки .
Они описывают автомат на поведенческом уровне. К начальным языкам относятся:
1) языки логических схем и граф схем алгоритмов;
2) язык регулярных выражений алгебры событий;
3) формальные и автоматные грамматики.
Если задано описание (4) полностью определенного автомата в стандартной форме, то для любого начального состояния автомата s (0) и последовательности входных символов v (0)v (1)v (2)…v (t ) можно вычислить реакцию автомата в виде последовательности выходных символов w (0)w (1)…w (t ).
Примеры.
Пример 1 . Автомат ПРОДАВЕЦ газет получает монеты достоинством в 1 рубль и 2 рубля. Если сумма монет равна 3 рублям, то автомат выдает газету. Если сумма больше 3 рублей, то автомат возвращает все деньги. Введем обозначения входных и выходных символов и состояний автомата.
Входные символы:
v 1 - опущена монета достоинством 1 рубль;
v 2 - опущена монета достоинством 2 рубля.
Выходные символы:
w 1 - сообщение "Принята сумма 1 руб.";
w 2 - сообщение "Принята сумма 2 руб.";
w 3 - выдача газеты;
w 4 - возврат денег.
Состояния автомата:
s 0 - принята сумма 0 руб. (начальное состояние);
s 1 - принята сумма 1 руб.;
s 2 - принята сумма 2 руб.
Функцию переходов представим таблицей 2, а функцию выходов - таблицей 3.
Этот же автомат можно задать в виде отмеченного орграфа, вершины которого соответствуют состояниям автомата, а дуги - переходам (рис.3).
|
Ниже приведен пример реакции автомата ПРОДАВЕЦ на входную последовательность v 1 v 1 v 2 v 2 v 1 v 2 v 2 v 1 v 1 v 1 …:
| t | … | |||||||||||
| v(t) | … | v 1 | v 1 | v 2 | v 2 | v 1 | v 2 | v 2 | v 1 | v 1 | v 1 | … |
| s(t) | … | s 0 | s 1 | s 2 | s 0 | s 2 | s 0 | s 2 | s 0 | s 1 | s 2 | s 0 |
| w(t) | … | w 1 | w 2 | w 4 | w 2 | w 3 | w 2 | w 4 | w 1 | w 2 | w 3 | … |
Пример 2. Для рассмотренного выше автомата ПРОДАВЕЦ можно построить эквивалентный автомат Мура, характеризуемый таблицей переходов/выходов (табл 4).
Таблица 4
| Новое состояние | |
| Входной символ | Текущее состояние/выходной символ |
| v 1 v 2 | s 1 v 1 s 2 v 1 s 2 v 1 s 0 v 1 s 0 v 1 s 0 v 1 s 1 v 2 s 2 v 2 s 2 v 2 s 0 v 2 s 0 v 2 s 0 v 2 |
На рис.4 представлен граф переходов/выходов автомата ПРОДАВЕЦ, соответствующий табл.4. Начальное состояние эквивалентного автомата Мура включает входной символ v (0). Поэтому приходится смещать поток входных символов: .
Пример 3. Обозначим состояние автомата Мура, соответствующее паре (s i ,v j) автомата Мили через s ij . Тогда реакция эквивалентно автомата ПРОДАВЕЦ на последовательность v 1 v 1 v 2 v 2 v 1 v 2 v 2 v 1 v 1 v 1 … будет:
| t | … | ||||||||||
| … | v 1 | v 2 | v 2 | v 1 | v 2 | v 2 | v 1 | v 1 | v 1 | … | |
| … | s 01 | s 11 | s 12 | s 02 | s 21 | s 02 | s 22 | s 01 | s 11 | s 21 | |
| w(t) | … | w 1 | w 2 | w 4 | w 2 | w 3 | w 2 | w 4 | w 1 | w 2 | … |
Опишем поведение родителя, отправившего сына в школу. Сын приносит двойки и пятерки. Отец не хочет хвататься за ремень каждый раз, как только сын получит очередную двойку, и выбирает более тонкую тактику воспитания. Задавать автомат удобно графом, в котором вершины соответствуют состояниям, а ребро из состояния s в состояние q, помеченное х/у, проводится тогда, когда автомат из состояния s под воздействием входного сигнала х переходит в состояние q с выходной реакцией у. Граф автомата, моделирующего умное поведение родителя, представлен на рис. 5.
Рис. 5. Автомат, описывающий поведение «умного» отца
Этот автомат имеет четыре состояния {s0, s1, s2, s3} и два входных сигнала - оценки, полученные сыном в школе: {2,5}. Начиная с начального состояния s0(оно помечено входной стрелкой), автомат под воздействием входных сигналов переходит из одного состояния в другое и выдает выходные сигналы - реакции на входы. Выходы автомата {у0,..., у5} будем интерпретировать как действия родителя так:
y0: - брать ремень;
yl: - ругать сына;
у2: - успокаивать сына;
уЗ: - надеяться;.
у4: - радоваться;
у5: - ликовать.
Сына, получившего одну и ту же оценку - двойку, ожидает дома совершенно различная реакция отца в зависимости от предыстории его учебы. Отец помнит, как его сын учился раньше, и строит свое воспитание с учетом его предыдущих успехов и неудач. Например, после третьей двойки в истории 2,2, 2 сына встретят ремнем, а в истории 2, 2, 5, 2 - будут успокаивать. Каждая предыстория определяет текущее состояние автомата, при этом некоторые входные предыстории эквивалентны (именно те, которые приводят автомат в одно и то же состояние): история 2, 2, 5 эквивалентна пустой истории, которой соответствует начальное состояние.
Текущее состояние автомата представляет все то, что автомат знает о прошлом с точки зрения его будущего поведения - реакций на последующие входы. Эта история в концентрированном виде определена текущим состоянием, и все будущее поведение автомата, как реакция его на последующие входные сигналы, определено именно текущим состоянием, но не тем, как автомат пришел в него.
Итак, конечный автомат - это устройство, работающее в дискретные моменты времени (такты). На вход конечного автомата в каждом такте поступает один из возможных входных сигналов, а на его выходе появляется выходной сигнал, являющийся функцией его текущего состояния и поступившего входного сигнала. Внутреннее состояние автомата также меняется. Моменты срабатывания (такты) определяются либо принудительно тактирующими синхросигналами, либо асинхронно, наступлением внешнего события - прихода сигнала.
Определим конечный автомат формально.
Кроме графического представления для автомата можно использовать и табличное, задавая функции переходов и выходов в виде таблиц. Автомат примера будет представлен следующими таблицами.
Таблица 5, а определяет функцию переходов так:
а табл. 5, б определяет функцию выходов : .(s0, 2) = у2; (s2, 5) = у3; ....
Комбинационные схемы, хотя и позволяют реализовать любые фиксированные зависимости между входными и выходными сигналами, не могут изменять характера своего поведения (т.е. последовательности обработки данных) - любое такое изменение требует изменения структуры схемы, т.е., по сути, переходу к другой схеме. Решить проблему перестройки работы без изменения структуры схемы возможно, если ввести в нее элементы памяти, которые позволяли бы фиксировать и сохранять промежуточные состояния устройства - в этом случае выходной сигнал будет зависеть не только от входного сигнала, но и от состояния схемы. Если количество таких элементов конечно, то, как указывалось выше, дискретное устройство будет называться конечным автоматом.
Конечным автоматом
называется система
Как указывалось ранее, Y(x,q) задает порядок преобразования входных символов и состояния автомата на предыдущем такте в состояние на последующем, a Q(x,q) - преобразования входных символов и состояния автомата на текущем такте в выходной символ. Если q 0 - начальное состояние автомата, а i - номер такта, то его работа описывается системой:
Данные соотношения получили название системы канонических уравнений конечного автомата. Пользуясь ими можно, начиная с q 0 , последовательно находить все последующие состояния автомата и выходные символы.
Выделяются два типа автоматов - инициальные и неинициальные. В инициальных автоматах начальное состояние фиксировано (т.е. они всегда начинают работать из одного и того же состояния q 0). В неинициальных автоматах в качестве начального состояния может быть выбрано любое из множества Q ; этим выбором определяется дальнейшее поведение автомата.
Представление конкретного конечного автомата фактически сводится к описанию задающих его автоматных функций. Из системы (9.3) следует, что при конечном числе возможных внутренних состояний количество возможных значений автоматных функции также оказывается конечным. Их описание возможно различными способами, наиболее распространенными из которых является табличный и с помощью диаграмм.
В табличном способе автоматные функции задаются двумя конечными таблицами, именуемыми соответственно матрицей переходов и матрицей выходов. В этих таблицах строки обозначаются буквами входного алфавита, а столбцы - буквами внутреннего алфавита (символами, кодирующими внутреннее состояние автомата). В матрице переходов на пересечении строки (x k) и столбца (q r) помещаются значения функции Y (q r , x k), а в матрице выходов - значения функции Q(q r , x k).
Представление конечного автомата фактически сводится к описанию задающих его автоматных функций.
Существуют три способа задания конечных автоматов:
· Табличный (матрицы переходов и выходов);
· Графический (с помощью графов);
· Аналитический (с помощью формул).
Аналитический способ – автомат задаетсясистемой уравнений. Из такой системы следует, что при конечном числе возможных внутренних состояний количество возможных значений автоматных функций также оказывается конечным. Примером такого задания служат системы уравнений, задающие автоматы Мили и автоматы Мура
Табличный способ. Составляется таблица состояния автоматадля функции перехода – δ и функции выхода. При этом:
· столбцы таблицы соответствуют элементам входного алфавита X,
· строки таблицы соответствуют состояниям (элементы конечного множества Q).
Пересечению i-и строки и j-го столбца соответствует клетка (i, j), которая является аргументом функций 8 и λ автомата в момент, когда он находится в состоянии q i на его входе – слово x j , а в самой соответствующей клетке запишем значения функций 8 и λ. Таким образом, вся таблица соответствует множеству Q х X.
При заполнении таблицы переходов каждая клеточка однозначно определяется парой символов: символом следующего состояния и символом выходного сигнала.
На практике автоматные функции задаются двумя конечными таблицами, именуемыми соответственно матрицей перехода и матрицей выводов . При этом строки обозначаются буквами входного алфавита, а столбцы буквами внутреннего алфавита (символами, кодирующими внутреннее состояние автомата).
В матрице переходов на пересечении строки x k и столбца q r помещается значение функции перехода δ(q i , х) и функции выводов λ(q, х) . В ряде случаев обе таблицы объединяются в одну таблицу.
Графический способ.
Автомат задается с помощью графа, схемы, графика и др. Задание с помощью ориентированного графа – более удобная и компактная форма описания автомата.
Граф автомата содержит
· Вершины, соответствующие состоянию q i ÎQ,
· Дуги, соединяющие вершины – переходы автомата из одного состояния в другое. На дугах принято указывать пары входных и выходных сигналов – сигналов переходов.
Если автомат переходит из состояния q 1 в состояние q 2 под воздействием нескольких входных сигналов, то на соответствующей дуге графа этот вариант будет представлен через дизъюнкцию. Для представления автомата используют двухполюсные графы с выделенными начальным и конечным состояниями.
Разработка шкалы «прибора для измерения емкости»
| № | индикация | + | - | перегруз. | выкл. | ┤ |
| 0 | исх.сост. | 1 | 0 | 0 | 0 | нет |
| 1 | 0 | 2 | 0 | 13 | 0 | да |
| 2 | 50 | 3 | 1 | 13 | 0 | да |
| 3 | 100 | 4 | 2 | 13 | 0 | да |
| 4 | 150 | 5 | 3 | 13 | 0 | да |
| 5 | 200 | 6 | 4 | 13 | 0 | да |
| 6 | 250 | 7 | 5 | 13 | 0 | да |
| 7 | 300 | 8 | 6 | 13 | 0 | да |
| 8 | 350 | 9 | 7 | 13 | 0 | да |
| 9 | 400 | 10 | 8 | 13 | 0 | да |
| 10 | 450 | 11 | 9 | 13 | 0 | да |
| 11 | 500 | 13 | 10 | 13 | 0 | да |
| 12 | ОВ | 0 | 0 | 0 | 0 | нет |
| 13 | авария | 0 | 0 | 0 | 0 | нет |
Рис.2.5. Граф шкалы прибора для измерения емкости
Заключение
Поскольку применение генераторов с колебательными контурами (типа RC) для генерирования колебаний высокой частоты не удовлетворяет, для разрабатываемого генератора была взята схема типа LC (в качестве фазирующей цепочки взята трехточечная схема с автотрансформаторной связью, активный элемент - транзистор).
В теоретической части данной курсовой работы были рассмотрены элементы генераторов LC-типа. Также была рассмотрена классификация генераторов LC-типа, их назначение, а также различные схемы генераторов. А также технические характеристики элементов генераторов.
В практической части была раскрыта тема, касающаяся шифраторов, дешифраторов, их назначения, а также были спроектированы электрические функциональные и электрические принципиальные схемы шифраторов и дешифраторов. Была раскрыта тема карт Карно. Также был разработан сегмент “b” семисегментного индикатора. Был разработан конечный автомат для шкалы прибора для измерения емкости, а также граф для него.
Теория автоматов представляет собой раздел дискретной математики, изучающий модели преобразователей дискретной информации. Такими преобразователями являются как реальные устройства (компьютеры, живые организмы), так и воображаемые устройства (аксиоматические теории, математические машины). По сути конечный автомат можно охарактеризовать как устройство М , имеющее входной и выходной каналы при этом в каждый из дискретных моментов времени, называемых тактовыми моментами, оно находится в одном из конечных состояний.
По входному каналу в каждый момент времени t =1, 2, ... в устройство М поступают входные сигналы (из некоторого конечного множества сигналов). Задается закон изменения состояния к следующему моменту времени в зависимости от входного сигнала и состояния устройства в текущий момент времени. Выходной сигнал зависит от состояния и входного сигнала в текущий момент времени (рис. 1).
Конечный автомат является математической моделью реальных дискретных устройств по переработке информации.
Конечным автоматом называется система А= (X , Q , Y , , ), где X , Q , Y - произвольные непустые конечные множества, а и функции, из которых:
множество X ={a 1 , ..., a m } называется входным алфавитом , а его элементы - входными сигналами , их последовательности - входными словами ;
множество Q ={q 1 , ..., q n } называется множеством состояний автомата, а его элементы - состояниями ;
множество Y ={b 1 , ..., b p } называется выходным алфавитом , его элементы - выходными сигналами , их последовательности - выходными словами ;
функция : X Q Q называется функцией переходов ;
функция :X Q Y называется функцией выходов .
Таким образом, (x , q )Q , (x , q )Y для x X , q Q .
С конечным автоматом ассоциируется воображаемое устройство, которое работает следующим образом. Оно может находиться в состоянии из множества Q , воспринимать сигналы из множества X и выдавать сигналы из множества Y .
2. Способы задания конечного автомата
Существует несколько эквивалентных способов задания абстрактных автоматов, среди которых можно назвать три: табличный , геометрический и функциональный .
2.1.Табличное задание автомата
Из определения автомата следует, что его всегда можно задать таблицей с двумя входами, содержащей т строк и п столбцов, где на пересечении столбца q и строки а стоят значения функций (a i , q j ), (a i , q j ).
|
q a |
q 1 |
q j |
q n |
||
|
a 1 |
(a 1 , q 1), (a 1 , q 1) |
(a 1 , q j ), (a 1 , q j ) |
(a 1 , q n ), (a 1 , q n ) |
||
|
a i |
(a i , q 1), (a i , q 1) |
(a i , q j ), (a i , q j ) |
(a i , q n ), (a i , q n ) |
||
|
a m |
(a m , q 1), (a m , q 1) |
(a m , q j ), (a m , q j ) |
(a m , q n ), (a m , q n ) |
2.2. Задание автомата диаграммой Мура
Другой способ задания конечного автомата - графический, то есть с помощью графа. Автомат изображается в виде помеченного ориентированного графа Г (Q , D ) с множеством вершин Q и множеством дуг D ={(q j , (a i , q j ))| q j Q , a i X }, при этом дуга (q j , (a i , q j )) помечается парой (a i , (a i , q j )). Таким образом, при этом способе состояния автомата изображают кружками, в которые вписывают символы состояний q j (j = 1, …, n ). Из каждого кружка проводится т стрелок (ориентированных ребер) взаимно-однозначно соответствующих символам входного алфавита X ={a 1 , ..., a m }. Стрелке, соответствующей букве a i X и выходящей из кружка q j Q , приписывается пара (a i , (a i , q j )), причем эта стрелка ведет в кружок, соответствующий (a i , q j ).
Полученный рисунок называется графом автомата или, диаграммой Мура . Для не очень сложных автоматов этот способ более нагляден, чем табличный.
Баранов Виктор Павлович. Дискретная математика. Раздел 6. Конечные автоматы
и формальные языки.
Лекция 31. Определение и способы задания конечного автомата. Задача синтеза. Элементарные автом а ты
Лекция 30. ОПРЕДЕЛЕНИЕ И СПОСОБЫ ЗАДАНИЯ КОНЕЧНОГО АВТОМАТА.
ЗАДАЧА СИНТЕЗА. ЭЛЕМЕНТАРНЫЕ АВТОМАТЫ
План лекции:
1. Определение конечного автомата.
2. Способы задания конечного автомата.
- Задача синтеза автоматов.
- Элементарные автоматы.
- Задача о полноте автоматного базиса.
- Канонический метод синтеза автомата.
- Определение конечного автомата
СФЭ не учитывают тот факт, что реальные устройства работают во времени. По сравнению с СФЭ конечный автомат является более точной моделью дискретного прео б разователя информации. При этом понятие конечного автомата, как и любая модель, св я зано с рядом упрощающих предположений.
Во-первых, предполагается, что вход и выход автомата в каждый момент времени может находиться только в одном из конечного числа различных состояний. Если реал ь ный преобразователь имеет непрерывный входной сигнал, то для его описания с помощью конечного автомата необходимо провести квантование этого сигнала. В формальном определении автомата конечный набор состояний входа и выхода автомата называется соо т ветственно входным и выходным алфавитом , а отдельные состояния буквами этих алф а витов.
Во-вторых, предполагается, что время изменяется дискретно. Состояния входа и выхода соответствуют дискретной временной последовательности Поскол ь ку момент времени однозначно определяется его индексом, то с целью упрощения будем считать, что время принимает значения 1, 2, …, … Временной промежуток называется тактом .
Работа автомата представляется следующим образом.
На вход автомата поступают сигналы из входного алфавита, что приводит к появлению сигналов на выходе из входного алфавита. З а висимость выходной последовательности от входной зависит от внутреннего устройства автомата. Заметим, что в отличие от СФЭ, которые не обладают памятью, автомат пре д ставляет собой устройство с памятью, т. е. выход автомата определяется не тол ь ко входом, но и предысторией. Учет предыстории осуществл я ется зависимостью выходного сигнала не только от входа, но и от текущего состояния, которое обозначим.
Дадим формальное определение автомата.
Конечным автоматом называют пятерку объектов
, (1)
где
входным алфавитом ; одно из возможных состояний входа;
конечное множество, называемое выходным алфавитом ; элеме н ты этого множества определяют возможные состояния выхода;
конечное множество, называемое алфавитом внутренних состо я ний ;
функция переходов автомата: ; эта функция каждой паре «вход-состояние» ставит в соответствие состояние;
функция выходов автомата: ; эта функция каждой паре «вход-состояние» ставит в соответствие значение выхода.
Закон функционирования автомата: автомат изменяет свои состояния в соотве т ствии с функцией и вырабатывает выходные сигналы в соответствии с фун к цией:
- Способы задания конечного автомата
1 . Табличный способ задания. Поскольку для функций и области определ е ния и значений принадлежат конечному множеству, то их задают при помощи таблиц.
Пример 1. Зададим автомат следующим образом: , .Функцию определим с помощью таблицы переходов, а функцию с помощью таблицы выходов .
Таблица 1. Таблица переходов Таблица 2. Таблица выходов
|
Вход |
Состояние |
||
|
Вход |
Состояние |
||
Если известна последовательность сигналов на входе автомата, то таблицами пер е ходов и выходов однозначно определяется выходная последовательность.
2 . Графический способ задания. Используется диаграмма переходов-выходов. Она представляет собой ориентированный мультиграф, в котором каждому вну т реннему состоянию автомата соответствует вершина. Переходы автомата из состояния в состояние изображаются стрелками, на каждой из которых пишутся входной символ, в ы зывающий данный переход, и выходной символ, вырабатываемый автоматом.
| | |
Рис.1 Диаграмма переходов-выходов
Пример 2. Требуется построить автомат, который работал бы следующим обр а зом: в каждый такт на вход автомата поступают очередные двоичные разряды слагаемых, а в томат вырабатывает соответствующий двоичный разряд их суммы. Для двухра з рядных слагаемых имеем: , .
Автомат находится в состоянии 1, если при сложении предыдущих разрядов возн и кает перенос, и в состоянии 0 в противном случае. Диаграмма переходов-выходов пок а зана на рис. 2.
00|0 11|1 01|0
01|1 10|0
10|1 00|1 11|1
Рис. 2
- Задача синтеза автоматов
По аналогии с задачей синтеза СФЭ можно поставить задачу синтеза для автом а тов. Имеется неограниченный набор базисных автоматов. Требуется собрать автомат с наперед заданным функционированием. При этом задача синтеза сталкивае т ся с определенными проблемами.
Допустим, что нужно присоединить выход автомата к входу автомата. Это возможно при условии, так как иначе вт о рой автомат не поймет сигналы, поступающие с первого. Это приводит к запутанной с и туации, когда некоторые соединения невозможны.
Чтобы преодолеть это препятствие, вводится понятие структурного автомата, в к о тором все алфавиты (входной, выходной и внутренних состояний) кодируются двоичными словами.
Пусть конечное множество из элементов, а множ е ство двоичных слов длины, где. Произвольное инъективное отображение будем называть кодированием множества двоичными словами.
Произведем кодирование алфавитов для произвольного автомата:
Обозначим закодированные вход, выход и состояние автомата в момент времени соответственно. Тогда закон функционирования представится в виде
(2)
Полученный после кодирования автомат называют структурным . Будем считать, что структурный автомат имеет двоичных входов, двоичных выходов, а внутреннее состояние автомата задается двоичным словом длины. На рис. 3 показан абстрактный автомат и соответствующий ему структурный автомат.
… …
Рис. 3
Переход к структурному автомату обеспечивает два важных для синтеза преимущ е ства.
1 . Совместимость входов и выходов, так как через них передается двоичная и н формация. Мы не будем давать общее определение схемы из структурных автоматов оно аналогично СФЭ.
2 . Запишем соотношения (2) в «координатах»:
(3)
Из (3) следует, что закон функционирования структурного автомата задается с и стемой булевых функций .
- Элементарные автоматы
Выделим простейшие структурные автоматы и дадим им название.
Отметим сначала, что функциональный элемент, имеющий только одно состояние, можно рассматривать как автомат без памяти.
Перейдем к автоматам с двумя состояниями. Пусть автомат имеет один двоичный вход и один двоичный выход, совпадающий с внутренним состоянием: :
Рис. 4.
Для задания автомата, показанного на рис. 4, достаточно задать только таблицу п е реходов:
Таблица 3
|
Вход |
Состояние |
|
Вместо звездочек нужно поставить 0 и 1. Это можно сделать 16 способами, однако, не все они приемлемы. Допустим, например, что в первом столбце таблицы 3 оба элеме н ты нули. Такой автомат, оказавшись в состоянии 0, более из него не выйдет, то есть будет работать как функциональный элемент. Анализ аналогичный ситуаций показывает, что для того чтобы получился автомат, не сводящийся к автомату без памяти, надо потреб о вать, чтобы в каждом столбце таблицы 3 встречались и ноль и единица. Таких таблиц вс е го ч е тыре.
Таблица 4 Таблица 5
|
Вход |
Состояние |
|||||
|
Вход |
Состояние |
|||||
Таблица 6 Таблица 7
|
Вход |
Состояние |
|
|
Вход |
Состояние |
|
Имеем только два простейших автомата, так как 7 получается из 4, а 6 из 5 путем инверсии внутренних состояний.
Автомат, задаваемый таблицей 4, называется задержкой или -триггером :
то есть этот автомат задерживает сигнал на один такт.
Автомат, задаваемый таблицей 5, называется триггером со счетным входом или -триггером . Состояние автомата меняется на противоположное, если на вход поступает 1, и остается без изменения, если на вход поступает 0:
Пусть в начальный момент времени - триггер находится в состоянии 0. Если в н е который момент времени - триггер находится в состоянии 0, то это означает, что на вход автомата поступило четное число единиц. Если в состоянии 1, то нечетное. Таким обр а зом, - триггер считает количество единиц на входе, но так как он имеет всего два состо я ния, то и считает до двух.
При физической реализации триггеров используют два выхода: прямой и инвер с ный (рис. 5). Если поменять их местами, то из - триггера получится автомат, задаваемый таблицей 7, а из - триггера автомат, задаваемый таблицей 6.
Рис. 5.
- Задача о полноте автоматного базиса
Набор структурных автоматов называется полным (или автоматным б а зисом), если из них можно построить любой наперед заданный структурный автомат.
Усилия математиков для получения аналога теоремы Поста для автоматов не уве н чались успехом. В 1964 г. М.И. Кратко доказал несуществование алгоритма для определ е ния полноты системы. В этом случае представляют интерес варианты теоремы о полноте с дополнительными предположениями о системе. Рассмотрим наиболее популярный из них.
Теорема. Система автоматов, содержащая полный набор ФЭ и - триггер (или -триггер) является полной.
Доказательство. Рассмотрим произвольный автомат, заданный соотнош е ниями (2), и опишем его схему из указанных автоматов, называемую канонической структурой (рис. 6) .
Схема состоит из двух частей.
…
…
…
Рис. 6.
Левая половина называется запоминающей частью. Она состоит из триггеров, набор состояний которых образует состояние автомата: если в момент времени
, …,
то это означает, что автомат находится в состоянии.
Правая половина называется комбинационной частью и представляет СФЭ. Входы этой схемы:
- двоичное слово входной сигнал автомата;
- двоичное слово текущее внутреннее состояние автомата.
Выходы:
- двоичное слово выходной сигнал автомата, который реализуе т ся по формулам (3);
- двоичное слово, которое поступает на входы триггеров в запомин а ющей части и управляет памятью автомата.
Покажем, что сигналы управления памятью являются булевыми функциями от тех же переменных, что и выход автомата, а, значит, они могут быть реализованы полной с и стемой ФЭ.
В каждый момент времени сигналы управления памятью должны переводить а в томат из состояния в состояние. Для этого надо изменить состояние каждого триггера
, .
Используемые в канонической схеме -триггеры или -триггеры обладают сл е дующим свойством: для любой пары состояний существует входной сигнал, пер е водящий автомат из состояния в состояние. Обозначим этот сигнал через. Для -триггера, так как состояние, в которое устанавливается -триггер, равно входному сигналу. Для -триггера: при на вход надо п о дать 0, чтобы состояние не изменилось; при 1, чтобы триггер «перевернулся».
Итак, или в векторной форме
Выразим из закона функционирования автомата (2). Тогда
Теорема доказана.
- Канонический метод синтеза автомата
Рассмотрим этот метод на конкретном примере.
Пример. На конвейере, по которому двигаются детали двух типов и, устано в лен автомат, задачей которого является такая сортировка деталей, чтобы после прохожд е ния мимо автомата они образовывали группы. Неподходящую деталь автомат ста л кивает с конвейера. Требуется построить схему такого автомата, используя -триггер и элементы «И», «ИЛИ», «НЕ».
Синтез автомата разбивается на следующие этапы.
1 . Построение абстрактного автомата.
Входной алфавит . Выходной алфавит , где С сталкив а ние детали, П ее пропуск. Внутренние состояния автомата отражают его память о том, какую часть группы он уже сформировал: . По мере формирования группы автомат циклически перемещается по этим состояниям, не изменяя состояния при поступлении неподходящей детали. Диаграмма переходов-выходов показана на рис. 7.
| | |
Рис. 7.
2 . Кодирование алфавитов.
Один из возможных вариантов кодирования приведен в сл е дующих таблицах.
Вход Выход Состояние
3 . Построение канонической структуры автомата.
Каноническая структура разрабатываемого автомата показана на рис. 8.
Рис. 8.
Найдем зависимости выходов СФЭ, от переменных сначала в табличном виде (таблица 8), по к о торым далее построим формулы
, .
Таблица 8
Эти функции называются частично определенными , так как они не определены при. Для представления этих функций формулами их доопределяют таким образом, чтобы получить более простой вид формул.
4 . Представление функций выхода автомата и функций управления памятью фо р мулами.
Используя методы минимизации булевых функций, строим по возможности эк о номное представление функций, формулами в базисе:
5 . Реализация СФЭ и окончательная схема автомата (рис. 9).
Рис. 9.
СФЭ
СФЭ
НЕ
ИЛИ