Аннотация:
Доказываются ранговый, структурный и геометрический критерии диагностируемости билинейных последовательностных машин с помощью средств абстрактной алгебры. На основе геометрического критерия предлагается алгоритм вычисления подпространства недиагностируемых состояний.