Эксперименты с недетерминированными автоматами

Методы синтеза установочных и различающих экспериментов

LAP LAMBERT Academic Publishing (2013-07-27 )

Books loader

имеющий право на ваучер

ISBN-13:: 978-3-659-42076-4
ISBN-10:: 365942076X
EAN:: 9783659420764
Язык Книги:: Русский
Краткое описание:: Монография продолжает исследования, начатые более полувека назад и посвященные синтезу умозрительных экспериментов с конечными автоматами. Под экспериментом понимается подача входной последовательности на автомат, наблюдение выходной реакции и вывод заключения о свойствах автомата. Монография посвящена исследованию и разработке методов синтеза установочных и различающих экспериментов с недетерминированными автоматами. Такие эксперименты позволяют определить финальное и начальное состояния автомата. Рассматриваются безусловные и условные установочные и различающие эксперименты с полностью определенными наблюдаемыми недетерминированными автоматами, устанавливаются необходимые и достаточные условия существования таких экспериментов, и предлагаются методы их синтеза. Приводятся различные технические приложения недетерминированных автоматов, в частности, рассматриваются эксперименты по синтезу проверяющих тестов для протокольных реализаций, а также эксперименты по упрощению компоненты автоматной сети, в том числе, с целью оптимизации логических схем. Монография может быть полезна лицам, заинтересованным в более глубоком изучении теории автоматов.
Издательский Дом:: LAP LAMBERT Academic Publishing
Веб-сайт:: https://www.lap-publishing.com/
By (author) :: Наталья Кушик, Нина Евтушенко
Количество страниц:: 140
Опубликовано:: 2013-07-27
Акции:: В наличии
Категория:: Математика
Цена:: 61.90 €
Ключевые слова:: недетерминированные автоматы, умозрительные эксперименты, безусловные и условные эксперименты, различающие и установочные эксперименты

Ссылки

Рассылка

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Банковский перевод