Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью
Предложен и проиллюстрирован метод синтеза тестов, обнаруживающих неисправности в нечетких автоматах с конечной памятью (АКП). В качестве АКП рассмотрены μ-определенные и синхронизируемые автоматы. Поскольку любой линейный автомат (ЛА) имеет конечную память, то рассматриваемая задача может быть...
| Published in: | Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 66. С. 120-127 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139576 Перейти в каталог НБ ТГУ |