Обложка Эксперименты с недетерминированными автоматами
Название книги:

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

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

LAP LAMBERT Academic Publishing (2013-07-27 )

Books loader

Omni badge имеющий право на ваучер
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 €
Ключевые слова:
недетерминированные автоматы, умозрительные эксперименты, безусловные и условные эксперименты, различающие и установочные эксперименты

Books loader

Рассылка

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

  0 продуктов в корзине
Редактировать корзину
Loading frontend
LOADING