Cтраница 3
Основной задачей структурного синтеза автоматов является построение функциональной ( структурной) схемы сложного автомата из более простых автоматов, которые называют элементарными автоматами, по графу исходного автомата. Пусть задано некоторое конечное множество элементарных автоматов и задан произвольный конечный автомат А. Необходимо найти алгоритм, позволяющий по заданному графу или матрице соединений автомата строить некоторую композицию) элементарных автоматов так, чтобы полученный в результате композиции автомат индуцировал отображение, совпадающее с отображением или продолжающее отображение, индуцируемое автоматом А. [31]
В автомате Мили с начальным состоянием а0 связана некоторая совокупность выходных сигналов, по которым выполняются соответствующие микрооперации. В связи с этим переходы в автомате Мура должны происходить в начале такта по поступлении запускающего сигнала Z. При необходимости граф автомата Мили может быть дополнен начальным состоянием ан. Окончанию операции соответствует переключение автомата в исходное состояние ан. [32]
Если между операторными вершинами ГСА ат и as лежит пустое множество условных вершин ( вершина, отмеченная символом ав, следует непосредственно за вершиной, отмеченной символом от), то Х ( ат, а) 1 и путь (2.7) превращается в путь amas. Если в ГСА существует путь (2.7) из ат в а, то в графе автомата вершина ат соединяется дугой с вершиной а. [33]
В настоящее время известно несколько подходов к проблеме синтеза автоматов в ВС. В работах [222,403] предлагаются методы, основанные на таком преобразовании графа логической сети, в результате которого получается программа настройки ВС. В работах [15, 16] предлагаются методы реализации автоматов в криотронной ВС по каноническим уравнениям и по графу автомата без составления и преобразования логической сети. [34]
Действительно, в силу определения всякий комплекс типа а. УУ ] получается из комплекса типа а - вычеркиванием всех тех дизъюнктивных членов, в составе которых встречаются символы состояний, входящих в множество N. Что же касается начального комплекса и комплексов типа а, то их приходится находить с помощью фактического перебора соответствующих простых путей на графе автомата или в его таблице переходов. [35]
С целью подчеркнуть, что речь идет не о выходных сигналах автомата, а о его состояниях, мы будем называть состояния автомата его внутренними состояниями. Эта проблема решается теми же методами, что и общая проблема анализа автоматов Мили или Мура, однако имеет по сравнению с последней то преимущество, что при ее решении можно ограничиться использованием лишь таблицы переходов или графа автомата, не прибегая к таблице выходов. [36]