Реалізація методу автоматизованого проєктування мікропрограмного автомата мовою Python

Abstract

У кваліфікаційній роботі вирішено актуальну науково-практичну проблему програмної реалізації методу алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів. Даний метод є основною складовою методу автоматизованого синтезу даного типу мікропрограмного автомата.
Досліджено структуру і принцип функціонування мікропрограмного автомата з операційним автоматом переходів; основні етапи синтезу автомата, зокрема етап алгебраїчного синтезу за заданою множиною операцій переходів; сучасні інструменти та технології швидкої обробки матриць за допомогою мови Python.