2014-02-04
3424
В настоящее время процесс синтеза автоматов принято подразделять на следующие этапы:
На первом предварительном этапе формируется часто словесно условия работы автомата, то есть определяется условия его взаимодействия с другими устройствами или какими-либо объектами, выявляются необходимые входные и выходные сигналы автомата, их количество, и намечается общий закон появления выходных сигналов в зависимости от воздействия на входы автомата.
При синтезе достаточно сложного автомата его часто разбивают на отдельные блоки, поэтому первый этап иногда называют этапом блочного синтеза автомата.
На втором этапе синтеза происходит выявление законов функционирования автомата, т.е. определяются функции переходов и выходов. Формальное описание автомата должно быть представлено одним из принятых способов (матрица, граф). Этот этап принято называть этапом абстрактного синтеза или синтезом абстрактного автомата.
На данном этапе не интересуются теми физическими элементами, из которых должен состоять автомат.
|
|
|
Не рассматривается, какие конкретные числовые значения могут принимать входные и выходные сигналы и элементы памяти. Важно знать число возможных различных его внутренних состояний, состояний входов и выходов, а также законы изменения внутреннего состояния автомата и выработки выходных сигналов при поступлении той или иной последовательности входных сигналов.
Начало исследования абстрактного синтеза автоматов было положено в работе С.Клинни, который предложил так называемый язык регулярных событий для описания автоматов. В дальнейшем абстрактный синтез был усовершенствован В.М. Глушковым. Абстрактный синтез автоматов был проанализирован Б.А. Трахтенбротом с использованием языков высказываний и исчисления предикатов.
Результатом второго этапа синтеза является задание автомата одним из стандартных способов. При этом выделяется объем памяти автомата.
В ряде случаев получают автомат, у которого число внутренних состояний превышает минимальное. В связи с этим, на следующем третьем этапе производится минимизация числа внутренних состояний автомата.
На четвертом этапе синтеза производится кодирование внутренних состояний автомата, называемое размещением внутренних состояний. Так же кодируются входные и выходные сигналы.
После кодирования внутреннего состояния автомата, состояний входа и выхода, составляются канонические уравнения. Четвертый этап находится на границе абстрактного и структурного синтеза автомата. На пятом этапе синтеза завершается выбор структуры, строится так называемая функциональная схема, состоящая из комбинационной части и автоматов памяти, т.е. происходит структурный синтез автомата. При этом синтез автоматов с памятью иногда сводится к синтезу автомата без памяти с помощью понятия однотактного эквивалента. В этом случае у автомата обрывается S обратных связей и производится синтез преобразователя с n+S входами и m+S выходами.
|
|
|
Шестой этап синтеза включает проведение электрического и других расчетов элементов схем, составление принципиальной схемы устройства и моделирование работы автомата с целью проверки его работоспособности.
На седьмом этапе осуществляется составление монтажных схем и технической документации.
Первые пять этапов синтеза принято называть логическим синтезом автомата (проектированием). Шестой и седьмой техническим синтезом автомата. Разделение процесса синтеза автомата на данные семь этапов, с одной стороны, облегчает процессы синтеза автомата. С другой стороны, может привести к усложнению структуры автомата. Следовательно, на каждом этапе стараются учесть его влияние на последующие этапы.
Для ускорения процесса синтеза автомата проводятся работы по его автоматизации. С этой целью разработаны специальные формальные языки, предназначенные для представления алгоритма синтеза на ЭВМ.
