Теория автоматов. Жукалина И.В. - 8 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

8
Рисунок 3 - Структурная схема управляющего автомата с жесткой логикой
Для построения обоих типов автоматов, но прежде всего, УАЖЛ,
используется теория абстрактных конечных автоматов (КА). Для построения
используется две базовые модели КА, функционально аналогичные: автомат
Мура и автомат Мили.
Любой ЦА описывается следующем кортежем: М = {X, Y, S, δ, λ, s
0
},
где X, Y, S – соответственно множества входных, выходных значений ЦА и
внутренних состояний.
X = {x
1
, x
2
, x
3
, …..x
n
}
Y = {y
1
, y
2
, y
3
, …..y
m
}
S = {s
1
, s
2
, s
3
, ……s
k
} где m, n, k – конечные значения.
Если m, n, k конечны, то автомат называют конечным.
Состояние ЦА определяется состоянием элементов памяти δ, λ –
соответственно характеристические функции перехода из одного состояния в
другое (δ) и функция выхода ЦА (λ). s
0
– начальное состояние ЦА.
По закону функционирования или по виду выходной функции ЦА
делятся на: автоматы 1-го рода (автоматы Мили) и автоматы 2-го рода
(автоматы Мура).
Закон функционирования ЦА первого рода (автомата Мили) есть:
s (t)= (s (t-1), x (t)), y (t)= (s (t-1), x (t)), где
s (t) - состояние автомата в настоящий момент;
s (t-1)- состояние автомата в предыдущий момент. Если t=0, то s(t-1)=s
0
;
x (t) - входной сигнал в текущий момент;
- оператор формирования данного состояния s;
- оператор формирования данного выходного сигнала y.
Т.е., закон функционирования представляет собой совокупность двух
функций: функции перехода и функции выхода , а также, что данное
состояние s (t) зависит от предыдущего состояния s (t-1) и входного сигнала в
данный момент времени, что выходной сигнал в данный момент времени так
Комбинационный
узел
Элементы
памяти
Y
1
Y
m
. . . . . .
X
1
.
X
n
Q
1
.
.
Q
l
    X1                                                                       Q1
    .
               Комбинационный                            Элементы            .
                                                          памяти
    Xn               узел                                                    .
                                                                             Ql


             Y1   . . . . ..     Ym



    Рисунок 3 - Структурная схема управляющего автомата с жесткой логикой

       Для построения обоих типов автоматов, но прежде всего, УАЖЛ,
используется теория абстрактных конечных автоматов (КА). Для построения
используется две базовые модели КА, функционально аналогичные: автомат
Мура и автомат Мили.
       Любой ЦА описывается следующем кортежем: М = {X, Y, S, δ, λ, s0},
где X, Y, S – соответственно множества входных, выходных значений ЦА и
внутренних состояний.
       X = {x1, x2, x3, …..xn}
       Y = {y1, y2, y3, …..ym}
       S = {s1, s2, s3, ……sk} где m, n, k – конечные значения.
       Если m, n, k конечны, то автомат называют конечным.
       Состояние ЦА определяется состоянием элементов памяти δ, λ –
соответственно характеристические функции перехода из одного состояния в
другое (δ) и функция выхода ЦА (λ). s0 – начальное состояние ЦА.
       По закону функционирования или по виду выходной функции ЦА
делятся на: автоматы 1-го рода (автоматы Мили) и автоматы 2-го рода
(автоматы Мура).
       Закон функционирования ЦА первого рода (автомата Мили) есть:

                      s (t)=  (s (t-1), x (t)), y (t)=  (s (t-1), x (t)), где

       s (t) - состояние автомата в настоящий момент;
       s (t-1)- состояние автомата в предыдущий момент. Если t=0, то s(t-1)=s0;
       x (t) - входной сигнал в текущий момент;
        - оператор формирования данного состояния s;
        - оператор формирования данного выходного сигнала y.
       Т.е., закон функционирования представляет собой совокупность двух
функций: функции перехода  и функции выхода , а также, что данное
состояние s (t) зависит от предыдущего состояния s (t-1) и входного сигнала в
данный момент времени, что выходной сигнал в данный момент времени так


8

Страницы