|
Эта публикация цитируется в 4 научных статьях (всего в 4 статьях)
Цикловые индексы автомата
А. А. Летуновский
Аннотация:
Вводится понятие цикловых индексов автомата как пары положительных чисел $(b,q)$, эффективно вычисляемых по автомату. Показано, что множество периодов константных автоматов, выразимых суперпозициями данного автомата, булевых функций и задержки – суть делители членов геометрической прогрессии $b,bq,bq^2,\ldots$ Отсюда следуют алгоритм проверки выразимости константных автоматов, а также теорема о проверке выразимости множества всех автоматов с ограниченным числом состояний.
Статья поступила: 09.11.2012
Образец цитирования:
А. А. Летуновский, “Цикловые индексы автомата”, Дискрет. матем., 25:4 (2013), 24–29; Discrete Math. Appl., 23:5-6 (2013), 445–450
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1254https://doi.org/10.4213/dm1254 https://www.mathnet.ru/rus/dm/v25/i4/p24
|
Статистика просмотров: |
Страница аннотации: | 429 | PDF полного текста: | 163 | Список литературы: | 46 | Первая страница: | 23 |
|