|
Автоматика и телемеханика, 1976, выпуск 11, страницы 183–192
(Mi at8190)
|
|
|
|
Техническая диагностика
Метод построения проверяющих тестов для произвольных конечных автоматов
В. Г. Тоценко Киев
Аннотация:
Рассматривается метод построения проверяющего теста, обнаруживающего любые неисправности, которые не увеличивают числа состояний дискретного устройства с элементами памяти, описываемого произвольным конечным автоматом.
Поступила в редакцию: 17.02.1976
Образец цитирования:
В. Г. Тоценко, “Метод построения проверяющих тестов для произвольных конечных автоматов”, Автомат. и телемех., 1976, № 11, 183–192; Autom. Remote Control, 37:11 (1976), 1780–1787
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at8190 https://www.mathnet.ru/rus/at/y1976/i11/p183
|
Статистика просмотров: |
Страница аннотации: | 73 | PDF полного текста: | 43 |
|