Ural Mathematical Journal
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Ural Math. J.:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Ural Mathematical Journal, 2018, Volume 4, Issue 2, Pages 99–110
DOI: https://doi.org/10.15826/umj.2018.2.011 (Mi umj67) 		 
This article is cited in 3 scientific papers (total in 3 papers)

$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
Full-text PDF (190 kB) Citations (3)
References:
PDF
HTML
DOI: https://doi.org/10.15826/umj.2018.2.011
Abstract: 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.
Keywords: Nondeterministic automata, Synchronizing word, SAT solver.
Funding agency Grant number
Ministry of Education and Science of the Russian Federation
Supported by the Competitiveness Enhancement Program of Ural Federal University.
Bibliographic databases:
Document Type: Article
Language: English
Citation: Hanan Shabana, “$D_2$-synchronization in nondeterministic automata”, Ural Math. J., 4:2 (2018), 99–110
Citation in format AMSBIB
\Bibitem{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}
Linking options:
  • https://www.mathnet.ru/eng/umj67
  • https://www.mathnet.ru/eng/umj/v4/i2/p99
    • This publication is cited in the following 3 articles:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Ural Mathematical Journal
    Statistics & downloads:
    Abstract page:210
    Full-text PDF :288
    References:43
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024