Домашняя работа по дисциплине «Теория автоматов»

Синтез конечных автоматов.

Автомат кофе.

Руководитель

_________

«___» _______2008 г.

Студент группы

С-3X

_________

«___» _______2008 г.

Парам-пам-пам

1 Задание

Разработать функциональную схему блока местного управления автомата продажи кофе если: Покупатель должен оплатить покупку и нажать кнопку с выбранным кофе при этом оплата может производиться монетами достоинством 5, 2 и 1 рубля. Стоимость кофе 3 рубля. Предусмотреть выдачу сдачи и возврат денег при невозможности обслужить клиента.

2 Решение

Определим входной и выходной алфавит.

Входной алфавит:

a{a1,a2,a3,a4,aзд1,aзд2,aзд3,aч, aкф, aкн, aм}

a1-опущена монета достоинством 5 рублей

a2-опущены 2 монеты достоинством 2 рубля

a3-опущены монеты достоинством 2 и 1 рублей

a4-опущены 3 монеты достоинством 1 рубль

aз1-в автомата есть для сдачи монета достоинством 2 рубля

aз2-в автомата есть для сдачи 2 монеты достоинством 1 рубль

aз3-в автомата есть для сдачи монета достоинством 1 рубль

aч-в автомата есть чашки

aкф-в автомата есть кофе

aкн - нажата кнопка «кофе с молоком»

aм-в автомата есть молоко

Выходной алфавит:

b{b1, b2, b3, b4, b5, b6,}

b1-выводит на экран «Ждите»

b2-выводит на экран «Обслужить не могу» и возврат опущенных денег

b3-выдать сдачу, подать чашку, налить кофе

b4-выдать сдачу, подать чашку, налить кофе, налить молоко

b5-подать чашку, налить кофе

b6-подать чашку, налить кофе, налить молоко

Всего будет 10 входных слов:

a1= a1 aзд1 aч aкф aкн aм

a2= a1 aзд1 aч aкф

a3= a1 aзд2 aч aкф aкн aм

a4= a1 aзд2 aч aкф

a5= a2 aзд3 aч aкф aкн aм

a6= a2 aзд3 aч aкф

a7= a3 aч aкф aкн aм

a8= a3 aч aкф

a9= a4 aч aкф aкн aм

a10= a4 aч aкф


Построим граф: