О сложности проверки существования установочных последовательностей для недетерминированных автоматов

О сложности проверки существования установочных последовательностей для недетерминированных автоматов

Bibliographic Details
Published in:	Программирование № 6. С. 48-53
Main Author:	Кушик, Наталья Геннадьевна
Corporate Author:	Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур
Other Authors:	Кулямин, Виктор Вячеславович, Евтушенко, Нина Владимировна
Format:	Article
Language:	Russian
Subjects:	недетерминированные автоматы последовательности конечные автоматы статьи в журналах
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000499686 Перейти в каталог НБ ТГУ

Similar Items

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

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

Некоторые задачи идентификации состояний для недетерминированных автоматов
by: Евтушенко, Нина Владимировна
Published: (2018)

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

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

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

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

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

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

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̈

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

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

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

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

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

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

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

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: Куфарева, Ирина Борисовна

Детерминированные редукции недетерминированных автоматов
by: Ветрова, Мария Викторовна

Адаптация H-метода для тестирования недетерминированных автоматов относительно редукции
by: Дорофеева, Маргарита Юрьевна

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

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

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

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

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

К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
by: Акеньшина, Екатерина Алексеевна

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

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

Минимальные детерминированные редукции недетерминированных автоматов
by: Ветрова, Мария Викторовна

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

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

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

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

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

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

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