Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
Springer Science and Business Media Deutschland GmbH.
Vol. 14123 LNCS.
2024.
P. 410-422
A method is proposed for checking whether a pair of observed distorted sequences can correspond to the true input and output sequences of a reference automaton, provided that the initial state of the automaton is unknown, and the proportion of deletions, insertions, and replacements of symbols is small. An example of applying the method for the case of a generalized shift register is given. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.