ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Основной целью работы является изучение свойств автоматов с магазинной памятью как преобразователей последовательностей. Изучение детерминированных автоматных функций в теории конечных автоматов позволяет строить продуктивные методы их анализа. Периодические свойства конечных автоматов - это фундамент, на основе которого выполнено множество построений. В случае же автомата с магазинной памятью периодические свойства почти небыли изучены. Данная работа - это попытка автора разобраться в этом вопросе. В диссертации использованы методы теории автоматов, теории формальных языков, комбинаторики, теории графов и математического анализа. Полученные в работе результаты являются новыми. Среди них: -приведена оценка на максимальную длины периода выходной последовательности в зависимости от характеристик автомата; -в случае однобуквенного алфавита удалось существенно понизить полученную верхнюю оценку. Была дана асимптотически достижимая оценка для автономного случая; -в случае произвольного алфавита магазина удалось показать, что существенно понизить полученную оценку нельзя...; было доказано, что найдется такой автомат с магазинной памятью с однобуквенным магазином, который способен преобразовывать входную последовательность, увеличивая ее период квадратичным образом; если же в магазине автомата с магазинной памятью разрешить иметь хотя бы два символа, то найдется такой автомат, который сможет преобразовывать входную последовательность, увеличивая ее период полиномиально.
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Отзыв официального оппонента | Ivanov_otziv_of.opp._Frolov-1.pdf | 2,7 МБ | 6 февраля 2018 | |
2. | Отзыв официального оппонента | Ivanov_otziv_of.opp._Mikhalev-1.pdf | 2,4 МБ | 6 февраля 2018 | |
3. | Отзыв официального оппонента | Ivanov_otziv_of.opp._Petyushko-1.pdf | 3,5 МБ | 6 февраля 2018 | |
4. | Заключение диссертационного совета по диссертации | Ivanov_zakl_diss_sovet.pdf | 2,2 МБ | 17 февраля 2018 | |
5. | Сведения об официальных оппонентах, включая публикации | Svedeniya_ob_ofitsialnyih_opponentah-Ivanov.docx | 22,1 КБ | 8 февраля 2018 | |
6. | Полный текст диссертации | Ivanov_dissertation.pdf | 808,1 КБ | 25 декабря 2017 | |
7. | Автореферат | Ivanov_avtoreferat.pdf | 368,1 КБ | 25 декабря 2017 | |
8. | Отзыв научного руководителя/консультанта | Ivanov_otziv_n.r.pdf | 2,4 МБ | 25 декабря 2017 | |
9. | Ivanov_svedenia_n.r.pdf | Ivanov_svedenia_n.r.pdf | 1,0 МБ | 25 декабря 2017 | |
10. | Решение дисс.совета о приеме/отказе к защите | Ivanov_protokol_priniatie_k_zaschite-2.pdf | 685,7 КБ | 27 декабря 2017 |