Теория автоматов: Синтез цифрового автомата. Вариант №6

1) Определим несовместимые по выходу состояния, на пересечении строки и столбца соответствующих состояний ставим X. Несовместимыми по выходу состояниями являются состояния, у которых при воздействии на вход одного и того же слова xi  X, выходные слова имеют разные значения yj  Y.
2) Определим абсолютно совместимые состояния, на пересечении строки и столбца соответствующих состояний ставим V. Такими состояниями называются состояния, у которых при воздействии одного и того же слова xi  X осуществляется переход в одинаковые состояния si  S.
3) Определим условно совместимые состояния на пересечении строки и столбца соответствующих состояний ставим условия, при которых они являются совместимыми.
4) Далее состояние, совместимые при условии совместимости несовместимых состояний, помечаем X, как не совместимые.
Получаем множество классов совместимости Ф = {{4,5,8}, {1,5}, {2}, {3},{6}, {7}, {9}, {10}}.
Поставим ему в соответствие множество состояний нового автомата S’ = {b1, b2, b3, b4, b5, b6, b7, b8}.
Определяем τ - разбиения для разбиения π2 компонентного автомата C, в соответствии с таблицей 7.
τ2 = {12, 3, 4, 5, 6, 7, 8}
------------------------------------------------------------------------------------------------------------------------------------
Рассмотрим строки таблицы 7 для автомата C. Не трудно видеть, что совпадающих строк нет. Следовательно, для компонентного автомата C η разбиение будет равно:
η2 = {x1, x2, x3, x4, x5}
Установим зависимости функции перехода автомата C от других автоматов.
π¬2 × π¬1 = {12, 34, 67, 58} и τ2 = {12, 3, 4, 5, 6, 7, 8} – не сравнимы.
π¬2 × π¬3 = {16, 27, 35, 48} и τ2 = {12, 3, 4, 5, 6, 7, 8} – не сравнимы.
π2 × (π¬1 × π¬3) = {1, 2, 3, 4, 5, 6, 7, 8} и τ2 = {12, 3, 4, 5, 6, 7, 8}
Следовательно, на состояние автомата C одновременно влияют B и D автоматы.

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

1.0 Синтез абстрактного автомата:
1.1 Исходные данные:
1.2 Минимизация не полностью определенного автомата:
1.3 Декомпозиция автомата:
1.4 Декомпозиция автомата при соединении их в сеть
2.0 Синтез структурного цифрового автомата
2.2 Определение функций возбуждения триггеров
2.3 Минимизация логических функций
3.0 Разработка комбинационных логических схем
Работа для направления ИВТ, сдавалась в КубГТУ, вариант 6.