Алгоритм валидации ограниченно-детерминированного поведения передатчика в канале частичного стирания

Понятия структуры частичного стирания и канала частичного стирания были введены в предшествующих работах автора. Также в данных работах представлена формальная модель взаимодействия приемника и передатчика. Введено понятие корректного протокола, т. е. понятие согласования поведения приемника с поведением передатчика. Найдено накладываемое на поведение передатчика необходимое и достаточное условие того, что существует согласованное с ним поведение приемника. В настоящей работе представлен алгоритм проверки указанного условия и оценка его сложности.