СИНТЕЗ АСИНХРОННЫХ АВТОМАТОВ НА ОСНОВЕ КОМПОЗИЦИОННОЙ МОДЕЛИ
Как было показано в предыдущей главе, дискретные устройства автоматики описываются структурной моделью — асинхронным автоматом и методы теории конечных автоматов могут применяться для их проектирования и анализа поведения.
Такие устройства автоматики, как пересчетные схемы, многостабильные устройства, распределители, регистры сдвига и т. д., описываются конечными автоматами, имеющими большое число- внутренних состояний, причем с увеличением числа выходных сигналов устройств число внутренних состояний резко возрастает. Попытка произвести логическое проектирование сложного дискретного устройства, рассматриваемого как один автомат, наталкивается на серьезные трудности вычислительного характера. Это приводит к тому, что синтез автоматов без применения вычислительных машин зачастую становится невозможным. На практике же проектируемое устройство представляют в виде композиции узлов, включающей набор стандартных устройств, и схемы, управляющей работой этих устройств. В терминах теории конечных автоматов это означает, что синтезируемый автомат А представляется в виде композиции нескольких автоматов,, содержащей управляющий автомат (УА) и ряд автоматов, структура и алгоритм функционирования которых считаются заданными. Синтез автомата в данном случае сводится к синтезу УА, который имеет существенно меньше состояний, чем автомат в целом.При таком подходе к синтезу сложных автоматов преследуется цель не только упростить сам процесс синтеза, но и максимально использовать стандартные отработанные схемы для построения нового автомата. Задача выбора стандартных схем, наиболее подходящих для построения заданного устройства, сложна и ее рассмотрение выходит за рамки книги. Заметим лишь, что при решении этой задачи, вероятно, не следует исключать соображения, которыми руководствуется опытный инженер, подбирая узлы для построения сложного дискретного устройства. В даль
нейшем будем считать, что такой выбор уже сделан. Настоящая глава посвящена изучению методов синтеза сложных автоматов на основе композиции нескольких автоматов [14—16].
3.1.