|
Проблемы передачи информации, 2013, том 49, выпуск 2, страницы 58–72
(Mi ppi2108)
|
|
|
|
Теория автоматов
Детерминизация ординальных автоматов
Ан. А. Мучник
Аннотация:
Доказано, что для любого недетерминированного ординального автомата существует детерминированный ординальный автомат, эквивалентный ему для любых счетных ординалов. Количество состояний детерминированного автомата оценивается сверху двойной экспонентой от количества состояний недетерминированного автомата.
Поступила в редакцию: 05.09.2011 После переработки: 05.02.2013
Образец цитирования:
Ан. А. Мучник, “Детерминизация ординальных автоматов”, Пробл. передачи информ., 49:2 (2013), 58–72; Problems Inform. Transmission, 49:2 (2013), 149–162
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ppi2108 https://www.mathnet.ru/rus/ppi/v49/i2/p58
|
|