Некоторые задачи идентификации состояний для недетерминированных автоматов

Некоторые задачи идентификации состояний для недетерминированных автоматов

Настоящая монография посвящена проблемам идентификации состояний для недетерминированных конечных автоматов. Авторы монографии приняли активное участие в получении новых результатов в этой области и попытались достаточно полно изложить оригинальные результаты как по сложности проверки существовани...

Full description

Bibliographic Details
Main Author:	Евтушенко, Нина Владимировна
Corporate Author:	Томский государственный университет
Other Authors:	Кушик, Наталья Геннадьевна
Format:	eBook
Language:	Russian
Published:	Томск STT 2018
Subjects:	конечные автоматы детерминированные конечные автоматы недетерминированные умозрительные эксперименты идентификация состояний автоматов автоматы частичные автоматы ненаблюдаемые детерминированные автоматы недетерминированные автоматы автоматы наблюдаемые Мура конечный автомат монографии
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000648794 Перейти в каталог НБ ТГУ

Similar Items

FSMTest-1.0: a manual for researches
by: Shabaldina, Natalia V

Метод идентификации обратимого автомата с известной функцией выходов
by: Жуковская, Александра Олеговна

О сложности проверки существования установочных последовательностей для недетерминированных автоматов
by: Кушик, Наталья Геннадьевна

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Тренькаев, Вадим Николаевич
Published: (2000)

Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01
by: Кушик, Наталья Геннадьевна
Published: (2016)

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
by: Твардовский, Александр Сергеевич

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Прокопенко, Светлана Анатольевна
Published: (2000)

Применение недетерминированных автоматов в задачах синтеза проверяющих тестов для систем логического управления Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Куфарева, Ирина Борисовна
Published: (2000)

Refining the specification FSM when deriving test suites w.r.t. the reduction relation
by: Tvardovskii, Aleksandr

On the length of homing sequences for nondeterministic finite state machines
by: Kushik, Natalia G.

Some classes of finite state machines with polynomial length of distinguishing test cases
by: Yenigün, Hüsnü

К синтезу условных установочных экспериментов для недетерминированных автоматов
by: Кушик, Наталья Геннадьевна

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Дорофеева, Маргарита Юрьевна
Published: (2007)

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2006)

Homing sequences for nondeterministic finite state machines: on the exponential upper bound reachability
by: Kushik, Natalia G.

On separating UML specified non-deterministic finite state machines with time-outs
by: Galimullin, Rustam

Недетерминированные автоматы: анализ и синтез [учебное пособие]
by: Евтушенко, Нина Владимировна
Published: (2009)

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Громов, Максим Леонидович
Published: (2009)

Generating checking sequences for nondeterministic finite state machines
by: Petrenko, Alexandre F.

К синтезу проверяющих тестов для мутационного автомата
by: Дорофеева, Маргарита Юрьевна

К построению подавтоматов без слияний для недетерминированных конечных автоматов
by: Твардовский, Александр Сергеевич

Adaptive homing sequences for partial weakly-initialized observable FSMs
by: Vinarskii, Evgenii

О синхронной композиции детерминированных автоматов

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs
by: Hwang, Iksoon

Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов
by: Винарский, Евгений Максимович

A practical approach for testing timed deterministic finite state machines with single clock
by: El-Fakih, Khaled

Синтез тестов для контроля систем логического управления методами теории экспериментов с автоматами диссертация на соискание ученой степени доктора технических наук : 05.13.01
by: Евтушенко, Нина Владимировна
Published: (1990)

Минимизация автоматов с таймаутами и временными ограничениями
by: Твардовский, Александр Сергеевич

К тестированию недетерминированных автоматов с таймаутами относительно неразделимости
by: Шабалдина, Наталия Владимировна

О минимизации временных автоматов
by: Твардовский, Александр Сергеевич

Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами
by: Шабалдина, Наталия Владимировна

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
by: Ермаков, Антон Дмитриевич

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Твардовский, Александр Сергеевич
Published: (2019)

К построению параллельной композиции расширенных автоматов
by: Широкова, Екатерина Владимировна

Технология разработки методов построения тестов для недетерминированных автоматов
by: Куфарева, Ирина Борисовна

К минимизации автоматов с таймаутами
by: Твардовский, Александр Сергеевич

Исследование отношения неразделимости для недетерминированных автоматов
by: Евтушенко, Нина Владимировна

Adaptive homing is in P
by: Kushik, Natalia G.

Недетерминированные автоматы: анализ и синтез учебное пособие : [для студентов кафедры информационных технологий в исследовании дискретных структур РФФ ТГУ, изучающих курсы "Теория автоматов", "Техническая диагностика", "Тестирование протокольных реализаций на основе формальных моделей", "Верификация и тестирование программного обеспечения" ]
by: Евтушенко, Нина Владимировна
Published: (2013)

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов