Пошук академічних текстів

Інформація × Реєстраційний номер 2115U005579, Матеріали видань та локальних репозитаріїв Категорія Опубліковано, Стаття Назва роботи ПРОМІЖНА АЛГЕБРА ПЕРЕХОДІВ В МІКРОПРОГРАМНОМУ АВТОМАТІ Автор Бабаков Р. М.Babakov R. M. Дата публікації 05-10-2015 Постачальник інформації Журнал "Радіоелектроніка, інформатика, управління" (Національний університет "Запорізька політехніка") Першоджерело https://ric.zp.edu.ua/article/view/66525 Видання National University "Zaporizhzhia Polytechnic" Опис Вирішено задачу формалізації завдання мікро-програмного автомата, в структурі якого частина автоматних переходів реалізується неканонічним шляхом. Запропоновано новий пілхід до організації функції переходів мікропрограмного автомата, відповідно до якого функція переходів представляється у вигляді сімейства часткових функцій, кожна з яких визначена лише на частині області визначення функції переходів автомата і відповідає певній підмножині автоматних переходів. З урахуванням запропонованого підходу традиційне представлення автомата у вигляді багато-основної алгебри матиме певні зміни. По-перше, взаємна незалежність функцій переходів і виходів, що утворюють сигнатуру алгебри, дозволяє розглядати їх окремо одна від іншої, що призводить до представлення автомата у вигляді двох алгебр: алгебри переходів, сигнатура якої містить лише функцію переходів, і алгебри виходів, сигнатура якої містить лише функцію виходів. По-друге, представлення функції переходів у вигляді множини часткових функцій виводить до заміни алгебри переходів множиною підалгебр переходів, в кожній з яких сигнатура утворена частковою функцією переходів. На прикладі мікро-програмного автомата з лічильником показано, що закон перетворення кодів станів в рамках певної підмножини переходів може бути заданий алгебраїчною функцією (операцією переходів), що використовує скалярну інтерпретацію кодів станів структурного автомата. Скалярну інтерпретацію кодів станів разом з операцією переходів пропонується представляти у вигляді так званої проміжної алгебри переходів, яка ізоморфна відповідним підалгебрам переходів абстрактного і еквівалентного йому структурного автоматів. Додано в НРАТ 2026-02-09 Закрити