Forward and backward synchronizing algorithms

作者：

Highlights：

• We describe a general framework for constructing synchronizing algorithms.

• We design currently the best heuristic polynomial synchronizing algorithm.

• Detailed analysis shows impact of various parameters on the results.

• Experiments are conducted on much larger automata than in other studies up to date.

摘要

•We describe a general framework for constructing synchronizing algorithms.•We design currently the best heuristic polynomial synchronizing algorithm.•Detailed analysis shows impact of various parameters on the results.•Experiments are conducted on much larger automata than in other studies up to date.

论文关键词：Synchronizing automaton,Synchronizing algorithm,Reset word,Reset length,Reset sequence,Sequential circuit

论文评审过程：Received 7 April 2015, Revised 27 July 2015, Accepted 28 July 2015, Available online 4 August 2015, Version of Record 27 September 2015.

论文官网地址：https://doi.org/10.1016/j.eswa.2015.07.071