ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/93154| Название: | D2-Synchronization in Nondeterministic Automata |
| Авторы: | Shabana, H. |
| Дата публикации: | 2018 |
| Издатель: | N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of Russian Academy of Sciences Ural Federal University named after the first President of Russia B.N. Yeltsin |
| Библиографическое описание: | Shabana H. D2-Synchronization in Nondeterministic Automata / H. Shabana. — DOI 10.15826/umj.2018.2.011. — Text : electronic // Ural Mathematical Journal. — 2018. — Volume 4. — № 2. — P. 99-110. |
| Аннотация: | We approach the problem of computing a D2-synchronizing word of minimum length for a given nondeterministic automaton via its encoding as an instance of SAT and invoking a SAT solver. In addition, we report some of the experimental results obtained when we had tested our method on randomly generated automata and certain benchmarks. |
| Ключевые слова: | NONDETERMINISTIC AUTOMATA SYNCHRONIZING WORD SAT SOLVER |
| URI: | http://elar.urfu.ru/handle/10995/93154 |
| Условия доступа: | Creative Commons Attribution License |
| Текст лицензии: | https://creativecommons.org/licenses/by/4.0/ |
| ISSN: | 2414-3952 |
| DOI: | 10.15826/umj.2018.2.011 |
| Сведения о поддержке: | Supported by the Competitiveness Enhancement Program of Ural Federal University. The author thanks the anonymous referees for their constructive comments and recommendations. |
| Источники: | Ural Mathematical Journal. 2018. Volume 4. № 2 |
| Располагается в коллекциях: | Ural Mathematical Journal |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| umj_2018_4_2_99-110.pdf | 192,33 kB | Adobe PDF | Просмотреть/Открыть |
Лицензия на ресурс: Лицензия Creative Commons
