А. А. Часовских, “О полноте в классе линейных 2-адических автоматов”, Интеллектуальные системы. Теория и приложения, 2016, том 20, выпуск 4,страницы 209

Эта публикация цитируется в 1 статье

О полноте в классе линейных 2-адических автоматов

А. А. Часовских

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Рассмотрен класс линейных 2-адических автоматов с операциями композиции. Получен алгоритм проверки полноты конечных подмножеств таких автоматов. Найдены все максимальные подклассы, число которых оказалось счетным.

Ключевые слова: конечный автомат, p-адическое число, линейный 2-адический автомат, операции композиции, обратная связь, проблема полноты, алгоритм проверки полноты, последовательный двоичный сумматор, задержка.