Абстрактный синтезТовары стоимостью 3 и 7 рублей, принимаемые монеты достоинством 1 и 2 рубля.1-й товар:1+1+11+1+2 (сдача 1 руб.)1+22+12+2 (сдача 1 руб.)2-й товар:1+1+1+1+1+1+12+1+1+1+1+11+2+1+1+1+11+1+2+1+1+11+1+1+2+1+11+1+1+1+2+11+1+1+1+1+22+2+1+1+12+1+2+1+12+1+1+2+12+1+1+1+21+2+2+1+11+1+2+2+11+1+1+2+21+2+1+2+12+2+2+11+2+2+22+1+2+22+2+1+22+2+2+2 (сдача 1 руб.)1+1+1+1+1+1+2 (сдача 1 руб.)1+1+1+2+1+2 (сдача 1 руб.)1+1+2+1+1+2 (сдача 1 руб.)1+2+1+1+1+2 (сдача 1 руб.)2+1+1+1+1+2 (сдача 1 руб.)1+1+1+1+2+2 (сдача 1 руб.)X= (x1, x2, x3, x4) - множество входных сигналовx1 - выбор 1-го товараx2 - выбор 2-го товараx3 - бросок 1 рубля в монетоприемникx4 - бросок 2 рублей в монетоприемникY= (y0, y1, y2, y3; y4, y5) - множество выходных сигналовy0 - ожидание выбора товара, щель монетоприемника закрытаy1 - идет прием денегy2 - выдача 2-го товара без сдачиy3 - выдача 2-го товара со сдачей 1 руб.y4 - выдача 1-го товараy5 - выдача 1-го товара со сдачей 1 руб.A= (a0, a1, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14) - множество состоянийa0 - начальное состояниеa1 - выбран 1-ый товар, в автомате 0 руб.a2 - выбран 1-ый товар, в автомате 1 руб.a3 - выбран 1-ый товар, в автомате 2 руб.a4 - выбран 1-ый товар, в автомате 3 руб. - выдача 1-го товараa5 - выбран 1-ый товар, в автомате 4 руб. - выдача 1-го товара со сдачей 1 руб.a6 - выбран 2-ой товар, в автомате 0 руб.a7 - выбран 2-ой товар, в автомате 1 руб.a8 - выбран 2-ой товар, в автомате 2 руб.a9 - выбран 2-ой товар, в автомате 3 руб.a10 - выбран 2-ой товар, в автомате 4 руб.a11 - выбран 2-ой товар, в автомате 5 руб.a12 - выбран 2-ой товар, в автомате 6 руб.a13 - выбран 2-ой товар, в автомате 7 руб. - выдача 2-го товараa14 - выбран 2-ой товар, в автомате 8 руб. - выдача 2-го товара со сдачей 1 руб.Автомат МилиЗапишем алгоритм работы автомата Мили в табличном виде.ai - состояния абстрактного автомата, xj - входные сигналы абстрактного автомата
Таблица № 1
ai
xj
a0
a1
a2
a3
a4
a5
a6
a7
a8
a9
a10
a11
a12
a13
a14
x1
a1
y1
a1
y1
a2
y1
a3
y1
a0
y0
a0
y0
a6
y1
a7
y1
a8
y1
a9
y1
a10
y1
a11
y1
a12
y1
a0
y0
a0
y0
x2
a2
y1
a1
y1
a2
y1
a3
y1
a0
y0
a0
y0
a6
y1
a7
y1
a8
y1
a9
y1
a10
y1
a11
y1
a12
y1
a0
y0
a0
y0
x3
a0
y0
a2
y1
a3
y1
a4
y4
a0
y0
a0
y0
a7
y1
a8
y1
a9
y1
a10
y1
a11
y1
a12
y1
a13
y2
a0
y0
a0
y0
x4
a0
y0
a3
y1
a4
y4
a5
y5
a0
y0
a0
y0
a8
y1
a9
y1
a10
y1
a11
y1
a12
y1
a13
y1
a14
y3
a0
y0
a0
y0
Запишем алгоритм работы автомата Мили, используя графический способ задания автомата.
Рисунок № 1
Структурный синтезR =] log215 [=4 - количество элементов памятиL=] log24 [=2 - количество входных каналовN=] log26 [=3 - количество выходных каналовСинтез автомата Мили будем проводить на Т-триггерах.Т-триггер (триггер со счетным входом) имеет один вход. Он "переворачивается", изменяя свое состояние, каждый раз, когда на его вход поступает сигнал, соответствующий логической единице.При поступлении фронта импульса значение входного напряжения изменяет значение с уровня, равного логическому нулю, на значение, равное логической единице. При поступлении среза импульса значение входного напряжения изменяет значение с уровня, равного логической единице, на значение, равное уровню логического нуля.Кодирование состояний автоматаQk - состояния элементарного автомата, ai - состояния абстрактного автомата