Page 57 - 4128
P. 57
Q=(Q1,...,Q T) – вектор вихідного сигналу зворотного зв'язку
від елементів пам'яті автомата.
Розглянемо окремо елемент пам'яті Пz, таблиця
переходів якого дана в таблиці. Безліч вихідних сигналів
елементів пам'яті співпадає з безліччю внутрішніх станів.
Таблиця 3.1 - Таблиця переходів елементу памяті
b 1 b 2 b 3
q 1 b 1 b 2 b 3
q 2 b 2 b 3 b 1
q 3 b 3 b 1 b 2
Повнота переходів очевидна з таблиці (у кожному
стовпці всі стани зустрічаються). При розгляді автомата на
абстрактному рівні його можна представити у вигляді рис.
3.2,а.
Q Z1
U Z1
{q 1 , q 2, q 3} {b 1, b 2, b 3}
{b 1, b 2, b 3} П
U Z2 Z Q Z2
а) б)
Рисунок 3.2 -Абстрактний (а) автомат і відповідний
йому структурний (б) автомат
При переході від абстрактного автомата до
структурного, вхідні і вихідні сигнали повинні бути
56
