Аналитические и имитационные модели. Финаев В.И - 43 стр.

UptoLike

43
автоматом Мили, функция переходов имеет вид
z(t)=ϕ[z(t),х(t)], а функция выходов - y(t)=ψ[z(t),х(t)].
Для автомата второго рода функция переходов имеет
вид: z(t)=ϕ[z(t),х(t)], а функция выходов - y(t)=ψ[z(t-
1),х(t)]
.
Автомат второго рода, функция выходов которого
определяется его состоянием - y(t)=ψ[z(t)], называется
автоматом Мура.
По числу состояний различают конечные автоматы с
памятью и без памяти. Автоматы с памятью имеют более
одного состояния, а автоматы без памяти обладают лишь
одним состоянием. Автоматы без памяти называют
комбинационными или логическими схемами. Функция
выходов такого автомата - y(t)=ψ[х(t)].
Если множества Х и Y состоят из двух параметров, то
функции переходов и выходов называются булевыми
функциями.
Рассмотрим примеры моделирования систем в виде
конечных автоматов.
Пример 1. Автомат для продажи билетов в автобусах
принимает монеты достоинством в 1,2 и 5 рублей и выдает
билеты стоимостью 5 рублей. Рассмотрим конечный
автомат Мили с множеством состояний Z=(0,1,2,3),
входным алфавитом Х=(1,2,5) и выходным алфавитом
Y=(0,1), где 0 соответствует ситуации «билет не выдается»,
а 1 – ситуации «билет выдается».
Функция переходов ϕ(t) определяется соотношением
Z(t)=(z(t-1)+х(t))mod5,
а функция выходов ψ(t)соотношением
(
)
(
)
()()
0, z t -1 + x t < 4,
Y=
1, z t -1 + x t > 4.