відмічених стовпців з M;
T 2 - підмножина перевірок з П, яке можна розглядати як певний тест, отриманий в тому випадку, якщо вихідну матрицю М замінити на циклічну матрицю М 0. Очевидно, що тест Т буде мінімальним діагностичним тестом тільки в тому випадку, коли T 2 буде містити мінімальну кількість перевірок. Тому завдання побудови мінімального діагностичного тесту Т 0 за допомогою матриці М зводиться до задачі побудови тесту Т 0 за допомогою циклічної булевої матриці М 0 .
Для спрощення циклічних матриць використовується наступний метод. У матриці М 0 відшукується стовпець, що містить найбільше число одиниць, який відзначається, як входить до скорочену матрицю М *, а, отже, і в досить простий тест (якщо таких стовпців декілька або всі стовпці з М 0 містять однакове число одиниць, то відзначається будь-який з цих стовпців). З М 0 викреслюються всі ті рядки, які містять одиницю в зазначеному стовпці. Матриця, отримана в результаті цього перетворення, спрощується таким же чином, як і вихідна матриця М , причому стовпці, до яких застосовується правило 3, відзначається як вхідні тест. Таким чином, отриманий тест Т, що включає в себе повірки з Т 1 і Т 2 , і є досить простим діагностичним тестом.
Таблиця 3. Вихідна таблиця станів
001101110111 000011001110 010100011010 111001101101 111000100011 010110011101 101101010111 < span align = "justify"> 010100001010 111001100010 100110111010 111001000000 011101110110
Створимо бульову матрицю, що відображає различимость станів.
Таблиця 4. Булева матриця, що відображає различимость станів. p align="justify"> 001110111001 011001101101
Таблиця
