Синтез циклических конечных автоматов с перестраиваемой длиной цикла, основанный на представлении функций в обобщенной форме

Abstract

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

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