Page 55 - 4128

Будь-яка система елементарних автоматів, яка
містить автомат Мура з нетривіальною пам'яттю, що
володіє повною системою переходів і повною системою
виходів і яку або функціонально-повну систему логічних
елементів, є структурно повною.
У цьому випадку завдання структурного синтезу
довільних автоматів зводиться до задачі структурного
синтезу комбінаційних схем.
Результатом канонічного методу структурного
синтезу є система логічних рівнянь, що виражає
залежність вихідних сигналів автомата і сигналів, що
подаються на входи запам'ятовуючих елементів, от
сигналів, що приходять на вхід всього автомата в цілому, і
сигналів, що знімаються з виходу елементів пам'яті. Ці
рівняння називаються канонічними.
Для правильної роботи схем сигнали на вході
елементів, що запам'ятовують, не повинні безпосередньо
брати участь в утворенні вихідних сигналів, які ланцюгами
зворотного зв'язку подавалися б в той самий момент часу на ці
входи. Елементами, що запам'ятовують, повинні бути не
автомати Мілі, а автомати Мура. Таким чином, структурно
повна система елементарних автоматів повинна містити хоча
б один автомат Мура. В той самий час, для синтезу автоматів
з мінімальним числом елементів пам'яті, необхідно як такі
елементи вибирати автомати Мура, що мають повну систему
переходів і повну систему виходів – повні автомати.
Повнота системи переходів означає, що для
будь-якої впорядкованої пари станів автомата знайдеться
вхідний сигнал, що переводить перший елемент цієї пари в
другій, тобто в такому автоматі в кожному стовпці таблиці
переходів повинні зустрічатися всі стани автомата.
Повнота системи виходів автомата Мура полягає
у тому, що кожному стану автомата поставлений у
відповідність свій особливий вихідний сигнал, відмінний від
вихідних сигналів інших станів. Т.ч. у такому автоматі число
вихідних сигналів рівне числу станів автомата. У зв'язку з
цим, в автоматах пам'яті використовуватимемо одні і ті ж
позначення і для станів, і для вихідних сигналів.

54