Том 8, серия 1, номер 3, 2001 г., Стр. 46-72

УДК 519.174.23
В. Н. Носков
Об условных тестах для контроля сетей автоматов

Аннотация:
Рассматривается представление конечного автомата схемой в базисе, состоящем из сильно связных конечных автоматов Мили. Предлагается метод преобразования любой части произвольной схемы в подсхему, для которой возможна диагностика с помощью условных тестов с хорошей локализацией возникающих неисправностей из широкого класса. Описаны тестовые последовательности и получены оценки их длин. Даны верхние оценки сложности преобразованных схем.
Ил. 5, табл. 1, библиогр. 6.

Носков В. Н. ¹
1. Институт математики им. С. Л. Соболева СО РАН,
пр. Акад. Коптюга, 4, 630090 Новосибирск, Россия
е-mail: noskov@math.nsc.ru

Статья поступила 11 апреля 2001 г.