Представимость классов автоматов Мили в терминах бэровских и p-адических метрик
DOI:
https://doi.org/10.5281/zenodo.15586134Ключевые слова:
синхронный, асинхронный, автомат Мили, предельное множество, бэровская метрика, p-адическая метрикаАннотация
В данной работе исследуются контрольные эксперименты в потенциально бесконечных классах синхронных, асинхронных и обобщенных автоматов Мили. Сформулированы критерии существования экспериментов в терминах предельных множеств специального «бэровского» метрического пространства. Показано, что аналогичные критерии выполнены также и для p-адических метрик, что подтверждает «адельную» демократию контрольных экспериментов.
Загрузки
Опубликован
Выпуск
Раздел
Лицензия
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial» («Атрибуция — Некоммерческое использование») 4.0 Всемирная.
Статьи журнала «Вестник Донецкого университета. Серия 04. Технические науки» находятся в открытом доступе и распространяются в соответствии с условиями Лицензионного Договора с Донецким Государственным университетом, который бесплатно предоставляет авторам неограниченное распространение и самостоятельное архивирование.
