СИНТЕЗ АСИНХРОННЫХ АВТОМАТОВ НА ОСНОВЕ КОМПОЗИЦИОННОЙ МОДЕЛИ

Как было показано в предыдущей главе, дискретные устройства автоматики описываются структурной моделью — асинхронным автоматом и методы теории конечных автоматов могут применяться для их проектирования и анализа поведения.

При таком подходе к синтезу сложных автоматов преследуется цель не только упростить сам процесс синтеза, но и максимально использовать стандартные отработанные схемы для построения нового автомата. Задача выбора стандартных схем, наиболее подходящих для построения заданного устройства, сложна и ее рассмотрение выходит за рамки книги. Заметим лишь, что при решении этой задачи, вероятно, не следует исключать соображения, которыми руководствуется опытный инженер, подбирая узлы для построения сложного дискретного устройства. В даль

нейшем будем считать, что такой выбор уже сделан. Настоящая глава посвящена изучению методов синтеза сложных автоматов на основе композиции нескольких автоматов [14—16].

3.1.