VOLUME 24 2019 NUMBERS 2–4

Implementation of the Algorithm for Testing an Automaton for Synchronization in Linear Expected Time
Pavel Ageev
Pages 139–152





Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2019-139,
  author  = {Pavel Ageev},
  title   = {Implementation of the Algorithm for Testing an Automaton for Synchronization in Linear Expected Time},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {24},
  number  = {2--4},
  pages   = {139--152},
  year    = {2019},
  url     = {https://doi.org/10.25596/jalc-2019-139},
  doi     = {10.25596/jalc-2019-139}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: synchronizing automata, Berlinkov's algorithm
DOI: 10.25596/jalc-2019-139