| Аннотацiя: |
Запропоновано новий спосіб визначення формальних розв’язків задачі алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів. Цей спосіб полягає у представленні множини переходів автомата у вигляді матриці, яка містить інформацію про поточне кодування станів і якій зіставлено об’єднану матрицю операцій, що містить усі можливі варіанти перетворення кодів станів за допомогою заданої множини операцій переходів. Такий підхід дає змогу одночасно зіставити всі операції переходів кожному автоматному переходу, що зменшує кількість перевірок на наявність формального розв’язку задачі алгебраїчного синтезу. Результатом є скорочення часу виконання будь-яких алгоритмів алгебраїчного синтезу мікропрограмного автомата з операційним автоматом переходів, що базуються на переборі варіантів використання операцій для реалізації автоматних переходів. |
