Ural Mathematical Journal
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Ural Math. J.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Ural Mathematical Journal, 2018, том 4, выпуск 2, страницы 99–110
DOI: https://doi.org/10.15826/umj.2018.2.011 (Mi umj67) 		 
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)

$D_2$-synchronization in nondeterministic automata

Hanan Shabanaab

a Institute of Natural Sciences and Mathematics, Ural Federal University, 51 Lenin aven., Ekaterinburg, Russia, 620000
b Faculty of Electronic Engineering, Menoufia University, Egypt
PDF полного текста (190 kB) Список цитирования (3)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.15826/umj.2018.2.011
Аннотация: We approach the problem of computing a $D_2$-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.
Финансовая поддержка Номер гранта
Министерство образования и науки Российской Федерации
Supported by the Competitiveness Enhancement Program of Ural Federal University.
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: Hanan Shabana, “$D_2$-synchronization in nondeterministic automata”, Ural Math. J., 4:2 (2018), 99–110
Цитирование в формате AMSBIB
\RBibitem{Sha18}
\by Hanan~Shabana
\paper $D_2$-synchronization in nondeterministic automata
\jour Ural Math. J.
\yr 2018
\vol 4
\issue 2
\pages 99--110
\mathnet{http://mi.mathnet.ru/umj67}
\crossref{https://doi.org/10.15826/umj.2018.2.011}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=MR3901589}
\elib{https://elibrary.ru/item.asp?id=36702177}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/umj67
  • https://www.mathnet.ru/rus/umj/v4/i2/p99
    • Эта публикация цитируется в следующих 3 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Ural Mathematical Journal
    Статистика просмотров:
    Страница аннотации:186
    PDF полного текста:275
    Список литературы:33
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024