|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Алгоритм валидации ограниченно-детерминированного поведения передатчика в канале частичного стираниястатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Автор: Казаков И.Б.
- Журнал: Прикладная дискретная математика
- Номер: 59
- Год издания: 2023
- Издательство: Изд-во ТГУ
- Местоположение издательства: Томск
- Первая страница: 88
- Последняя страница: 110
- DOI: 10.17223/20710410/59/6
- Аннотация: Понятия структуры частичного стирания и канала частичного стирания были введены в предшествующих работах автора. Также в данных работах представлена формальная модель взаимодействия приемника и передатчика. Введено понятие корректного протокола, т. е. понятие согласования поведения приемника с поведением передатчика. Найдено накладываемое на поведение передатчика необходимое и достаточное условие того, что существует согласованное с ним поведение приемника. В настоящей работе представлен алгоритм проверки указанного условия и оценка его сложности.
- Добавил в систему: Казаков Илья Борисович