Аннотация:
Рассматриваются вопросы восстановления фрагментов входных слов конечных автоматов без потери информации по известным выходным словам (локальное обращение). Показана связь локального обращения автомата из этого класса со свойством синхронизируемости ассоциированного с ним автомата без выхода. Найдены новые классы регистров сдвига с фильтрующими булевыми функциями, допускающих локальное обращение.
Ключевые слова:конечный автомат, автомат без потери информации, локальная обратимость, регистр сдвига, булева функция.
Полный текст:
PDF файл (656 kB)