Книга: НЕКОТОРЫЕ ЗАДАЧИ ИДЕНТИФИКАЦИИ СОСТОЯНИЙ ДЛЯ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ

Скачать

Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существования, так и по построению “умозрительных” экспериментов для различных классов автоматов, в том числе для ненаблюдаемых и частичных автоматов. Читать монографию можно достаточно независимо: большинство необходимых определений и вспомогательных утверждений вводятся непосредственно в тексте.

Монография предназначена для специалистов в области теории автоматов, синтеза тестов для цифровых систем, а также для всех интересующихся вопросами идентификации состояний в конечных системах переходов.

Информация о документе

Формат документа: PDF
Кол-во страниц: 190 страниц
Загрузил(а): Афонин Сергей
Лицензия: —
Доступ: Всем

Информация о книге

ISBN: 785936296222
Издательство: STT
Год публикации: 2018
Автор(ы): Н.В. Евтушенко, Н.Г. Кушик
Библиографическая запись: Евтушенко Н.В., Кушик Н.Г. Некоторые задачи идентификации состояний для недетерминированных автоматов. – Томск : STT, 2018. – 190 с.
Ключевые фразы: *
УДК: 681.32. <Цифровые или преимущественно цифровые системы, машины и устройства>.Исключено E&C 18 [1996]

Статистика просмотров

Статистика просмотров книги за 2025 год.

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

Сайт носит исключительно информационно-справочный характер. Администрация Сайта не несет ответственности за содержание и достоверность информации, добавленной пользователями, а также за любые убытки, возникшие в связи с использованием или невозможностью использования Сайта и размещенной на нем информации.