Модификация метода построения тестов для конечных автоматов относительно неразделимости
Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
20.08.2010 |
Математика |
Математика |
Язык: русский |
Просмотры: 40
