Фокусированный поиск решения задач технической диагностики цифровых схем

Задачи построения проверяющей последовательности значений входных сигналов и получения заключения о техническом состоянии схемы по результатам эксперимента с ней описываются как задачи фокусированного поиска терминальной вершины в дереве.