Методи декомпозиції ГСА на підграфи для синтезу автоматів Мілі на лічильнику

Abstract

В статті розглядаються керуючі автомати Мілі на лічильнику, оптимізація швидкодії та апаратних затрат при їхньому використанні, необхідність створення системи автоматизованого проектування (САПР) цих автоматів. Як перший етап створення САПР розроблено алгоритми розбивання ГСА на ЛПС двох типів, також знайдено закономірність, що дозволяє використати алгоритм розбивання одного типу для отримання розбивки іншого.In article the Mealy FSM on counter, optimization of speed and hardware expenses are considered at their use, necessity of CAD creation for these automata’s. As the initial stage of CAD algorithms creation the splitting flowchart on linear state sequences (LSS) of two types are developed, rule allowing to apply algorithm of splitting of one type for reception of splitting another also is found out.