Эксперименты с недетерминированными автоматами Наталья Кушик und Нина Евтушенко

Монография продолжает исследования, начатые более полувека назад и посвященные синтезу умозрительных экспериментов с конечными автоматами. Под экспериментом понимается подача входной последовательности на автомат, наблюдение выходной реакции и вывод заключения о свойствах автомата. Монография посвящена исследованию и разработке методов синтеза установочных и различающих экспериментов с недетерминированными автоматами. Такие эксперименты позволяют определить финальное и начальное состояния автомата. Рассматриваются безусловные и условные установочные и различающие эксперименты с полностью определенными наблюдаемыми недетерминированными автоматами, устанавливаются необходимые и достаточные условия существования таких экспериментов, и предлагаются методы их синтеза. Приводятся различные технические приложения недетерминированных автоматов, в частности, рассматриваются эксперименты по синтезу проверяющих тестов для протокольных реализаций, а также эксперименты по упрощению компоненты... Это и многое другое вы найдете в книге Эксперименты с недетерминированными автоматами (Наталья Кушик und Нина Евтушенко)