Deriving Synchronizing and Homing Sequences for Input/Output Automata

Abstract

The paper considers the problems of checking the existence and synthesis of synchronizing and homing sequences for finite input/output automata. The relevant sequences can be used when identifying the state of the system under consideration after applying the proper input sequence. In the model considered in the study, the actions are divided into inputs and outputs, however, there are no explicitly specified sets of initial and final states. The article defines the concepts of synchronizing and homing sequences and suggests methods for their synthesis for a special class of input/output automata, which have transitions in each state on either input or output actions; in addition, there are no cycles marked with output symbols in the corresponding transition graph. The necessary and sufficient conditions of existence of synchronizing and homing sequences are established, and the length of such sequences is estimated for the described class of input/output automata. The subclasses of automata are specified, for which the worst (mainly, exponential) complexity cases are not reachable.

This is a preview of subscription content, log in to check access.

Fig. 1.
Fig. 2.
Fig. 3.

Notes

  1. 1.

    Thus, automata without non-observable actions and without specification of the sets of the initial and final states are considered in this article.

REFERENCES

  1. 1

    Martyugin, P.V., Lower bounds for the length of the shortest carefully synchronizing words for two- and three-letter partial automata, Diskretn. Anal. Issled. Oper., 2008, vol. 15, no. 4, pp. 44–56.

    MathSciNet  MATH  Google Scholar 

  2. 2

    Gill, A., State-identification experiments in finite automata, Inf. Control, 1961, vol. 4, pp. 132–154.

    MathSciNet  Article  MATH  Google Scholar 

  3. 3

    Martyugin, P., Computational complexity of certain problems related to carefully synchronizing words for partial automata and directing words for nondeterministic automata, Theory Comput. Syst., 2014, vol. 54, no. 2, pp. 293–304.

    MathSciNet  Article  MATH  Google Scholar 

  4. 4

    Hierons, R.M., Jourdan, G.V., Ural, H., and Yenigün, H., Using adaptive distinguishing sequences in checking sequence constructions, Proc. of the 2008 ACM symposium on Applied computing (SAC), 2008, pp. 682–687.

  5. 5

    Ito, M. and Shikishima-Tsuji, K., Some results on directable automata, in Theory Is Forever: Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, Berlin, Heidelberg: Springer; Lect. Notes Comput. Sci., 2004, vol. 3113, pp. 125–133.

  6. 6

    Kohavi, Z., Switching and Finite Automata Theory, New York: McGraw-Hill, 1978.

    Google Scholar 

  7. 7

    Kushik, N., El-Fakih, K., Yevtushenko, N., and Cavalli, A.R., On adaptive experiments for non-deterministic finite state machines, Int. J. Software Tools Technol. Transfer, 2016, vol. 18, no. 3, pp. 251–264.

    Article  Google Scholar 

  8. 8

    Kushik, N., López, J., Cavalli, A.R., and Yevtushenko, N., Improving protocol passive testing through ‘gedanken’ experiments with finite state machines, Proc. 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2016, pp. 315–322.

  9. 9

    Kushik, N., El-Fakih, K., and Yevtushenko, N., Preset and adaptive homing experiments for nondeterministic finite state machines, Implementation and Application of Automata. CIAA 2011; Lect. Notes Comput. Sci., 2011, vol. 6807, pp. 215–224.

    Article  MATH  Google Scholar 

  10. 10

    Kushik, N. and Yevtushenko, N., On the length of homing sequences for nondeterministic finite state machines, Implementation and Application of Automata. CIAA 2013; Lect. Notes Comput. Sci., 2013, vol. 7982, pp. 220–231.

    Article  MATH  Google Scholar 

  11. 11

    Lee, D. and Yannakakis, M., Testing finite-state machines: State identification and verification, IEEE Trans. Comput., 1994, vol. 43, no. 3, pp. 306–320.

    MathSciNet  Article  MATH  Google Scholar 

  12. 12

    Moore, E.F., Gedanken-experiments on sequential machines, in Automata Studies (Annals of Mathematical Studies), Princeton University Press, 1956, pp. 129–153.

    Google Scholar 

  13. 13

    Sandberg, S., Homing and synchronizing sequences, in Model-Based Testing of Reactive Systems; Lect. Notes Comput. Sci., 2005, vol. 3472, pp. 5–33.

  14. 14

    Tretmans, J., Test generation with inputs, outputs and repetitive quiescence, Software—Concepts Tools, 1996, vol. 17, no. 3, pp. 103–120.

  15. 15

    Volkov, M.V., Synchronizing automata and the Černý conjecture, Language and Automata Theory and Applications. LATA, 2008; Lect. Notes Comput. Sci., 2008, vol. 5196, pp. 11–27.

    Google Scholar 

  16. 16

    Kushik, N.G., Yevtushenko, N.V., Burdonov, I.B., and Kossatchev, A., S, Synchronizing and homing experiments for input/output automata, Syst. Inf., 2017, no. 10, pp. 1–9.

  17. 17

    Yenigün, H., Yevtushenko, N., and Kushik, N., The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs, Inf. Process. Lett., 2017, vol. 127, pp. 49–53.

    MathSciNet  Article  MATH  Google Scholar 

Download references

ACKNOWLEDGMENTS

The work was partially supported by the Russian Science Foundation (RSF), project No. 16-49-03012 and by the Russian Foundation for Basic Research, project No.17-07-00682.

Author information

Affiliations

Authors

Corresponding authors

Correspondence to N. G. Kushik or N. V. Yevtushenko or I. B. Burdonov or A. S. Kossatchev.

Additional information

Translated by Yu. Bezlepkina

About this article

Verify currency and authenticity via CrossMark

Cite this article

Kushik, N.G., Yevtushenko, N.V., Burdonov, I.B. et al. Deriving Synchronizing and Homing Sequences for Input/Output Automata. Aut. Control Comp. Sci. 52, 589–595 (2018). https://doi.org/10.3103/S0146411618070167

Download citation

Keywords:

  • input/output automata
  • synchronizing sequence
  • homing sequence