Q0 – ожидание монеты (начальное состояние)

q1 – приготовление чая

q2 – приготовление кофе

q3 – состояние неисправности

 

Множество выходных сигналов Y:

 

y0 – готовит чай (закрывает монетоприемник, ставит стакан, насыпает концентрат, греет и наливает кипяток, открывает монетоприемник, подает сигнал «напиток готов»)

 

y1 – готовит кофе (аналогично приготовлению чая)

y2 – выбрасывает монету в лоток

y3 – звуковой сигнал «автомат неисправен»

y4 – световой сигнал «положите монету» (подсвечивает монетоприемнник)

 

Описание автоматных функций

 

Функция переходов состояний (Ψ) – описывает то, как изменяются внутренние состояния автомата под воздействием входных сигналов

 

		Текущие состояния Q
	Ψ	q0	q1	q2	q3
Входные сигналы X	x0	q1	-	-	q3
	x1	q2	-	-	q3
	x 2	q0	-	-	q3
	x 3	q3	-	-	q3
	x 4	-	q0	q0	q3
		Следующие состояния

Функция выходов (Θ) – описывает реакцию автомата на входные сигналы с учетом текущего состояния.

 

 

		Текущие состояния Q
	Ψ	q0	q1	q2	q3
Входные сигналы X	x0	y0	-	-	y3
	x1	y1	-	-	y3
	x 2	y2	-	-	y3
	x 3	y3	-	-	y3
	x 4	-	y4	y4	y3
		Выходные сигналы

 

 

Граф переходов автомата

 

Граф переходов автомата – более наглядная форма представления конечного автомата.

 

• Возможных состояний автомата 4, следовательно у графа 4 вершины
• Входных сигналов 5, следовательно у каждой вершины максимум 5 исходящих ребер (по одному на каждый входной сигнал).
• Для каждого ребра:

 - Направления указаны в таблице для функции переходов состояний.

 - Входные сигналы - в таблице для функции переходов состояний

 - Выходные сигналы - в таблице для функции выходов

 

 

 

4 Закодированная таблица реализации КА

 

Для аппаратной реализации предварительно осуществляют двоичное кодирование автомата. Для составления кодированной таблицы примем следующие обозначения:

 

Входные сигналы X (всего 5 сигналов, следовательно, понадобятся 3-значные коды, X-бит входного сигнала).

	Х1	Х2	Х3
х0 – положили 2 рубля	0	0	0
х1 – положили 5 рублей	0	0	1
х2 – положили иную монету	0	1	0
x3 – положили гнутую монету	0	1	1
х4 – сигнал «напиток готов»	1	0	0

 

Предыдущие состояния q (всего 4 состояния, следовательно, понадобятся 2х-значные коды b1,b2-биты предыдущего состояния).

	b1	b2
q0 – ожидание монеты	0	0
q1 – приготовление чая	0	1
q2 – приготовление кофе	1	0
q3 – состояние неисправности	1	1

 

Следующие состояния q (всего 4 состояния, следовательно, понадобятся 2х-значные коды B1,B2-биты предыдущего состояния).

 

	B1	B2
q0 – ожидание монеты	0	0
q1 – приготовление чая	0	1
q2 – приготовление кофе	1	0
q3 – состояние неисправности	1	1

 

Выходные сигналы Y (всего 5 сигналов, следовательно, понадобятся 3х-значные коды Z₁, Z₂ Z₃- биты выходных сигналов).

 

	Z1	Z2	Z3
y0 – готовит чай	0	0	0
y1 – готовит кофе	0	0	1
у2 – выбрасывает монету в лоток	0	1	0
y3 – сигнал «автомат неисправен»	0	1	1
y4 - сигнал «положите монету»	1	0	0

 

Кодированная таблица переходов и выходов

 

	Входной сигнал			Текущее состояние		Следующее состояние		Выходной сигнал
	X1	X2	X3	b1	b2	B1	B2	Z1	Z2	Z3
x0	0	0	0	0	0	0	1	0	0	0
	0	0	0	0	1	-	-	-	-	-
	0	0	0	1	0	-	-	-	-	-
	0	0	0	1	1	1	1	0	1	1
x1	0	0	1	0	0	1	0	0	0	1
	0	0	1	0	1	-	-	-	-	-
	0	0	1	1	0	-	-	-	-	-
	0	0	1	1	1	1	1	0	1	1
x2	0	1	0	0	0	0	0	0	1	0
	0	1	0	0	1	-	-	-	-	-
	0	1	0	1	0	-	-	-	-	-
	0	1	0	1	1	1	1	0	1	1
x3	0	1	1	0	0	1	1	0	1	1
	0	1	1	0	1	-	-	-	-	-
	0	1	1	1	0	-	-	-	-	-
	0	1	1	1	1	1	1	0	1	1
x4	1	0	0	0	0	-	-	-	-	-
	1	0	0	0	1	0	0	1	0	0
	1	0	0	1	0	0	0	1	0	0
	1	0	0	1	1	1	1	0	1	1

Задание 2

 

Дано: Автомат А может находиться в 2х различных состояниях S = {s0, s1}, возможных входных сигналов два X = {a, b}, возможных выходных сигналов два Y = {0, 1}

 

Построим граф переходов автомата А

 

⇐ Предыдущая123Следующая ⇒

Поделиться: