|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Алгоритмическая разрешимость задачи полноты конечных содержащих константу ноль множеств в классе линейных дефинитных автоматовстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 1 апреля 2026 г.
- Автор: Молдованов Илья Владимирович
- Журнал: Чебышевский сборник
- Том: 26
- Номер: 5
- Год издания: 2026
- Издательство: Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования "Тульский государственный педагогический университет им. Л.Н. Толстого"
- Местоположение издательства: Тула
- Первая страница: 137
- Последняя страница: 157
- DOI: 10.22405/2226-8383-2025-26-5-137-157
- Аннотация: Проблема проверки полноты конечных подмножеств играет важную роль при исследовании функциональных систем. В классе конечных автоматов с операциями композиции задача проверки полноты конечных подмножеств является алгоритмически неразрешимой, тогда как класс конечных автоматов с операциями суперпозиции не содержит конечных полных систем. Подкласс дефинитных автоматов характеризуется наличием конечных полных систем относительно операций суперпозиции, однако задача проверки полноты конечных подмножеств в данном случае также оказывается алгоритмически неразрешимой. Ранее был рассмотрен класс линейных автоматов с операциями композиции.Для данного класса был получен алгоритм определения полноты конечных подмножеств.В то же время для линейных автоматов с операциями суперпозиции было установлено отсутствие конечных полных систем. Интерес представляет рассмотрение данной задачи применительно к классу дефинитных линейных автоматов с операциями суперпозиции. В данной работе был получен алгоритм проверки полноты конечных содержащих константу ноль подмножеств в классе дефинитных линейных автоматов.
- Добавил в систему: Молдованов Илья Владимирович