Эта публикация цитируется в
1 статье
Техническая диагностика
Построение проверяющего теста для линейного конечного автомата
Н. В. Колесов Ленинград
Аннотация:
Предлагается простая процедура построения проверяющего теста для линейного наблюдаемого конечного автомата. Для автомата, линейного в двоичном поле, приводится оценка длины получаемого теста, обнаруживающего одиночные константные дефекты.
УДК:
62-506
Поступила в редакцию: 23.12.1980
Англоязычная версия:
Automation and Remote Control, 1982,
43:2,
185–189
Реферативные базы данных:
© , 2024