Синхронизирующие последовательности в конечных детерминированных автоматах
Loading...
Date
Authors
item.page.orcid
item.page.doi
item.page.thesis.degree.name
item.page.thesis.degree.level
item.page.thesis.degree.discipline
item.page.thesis.degree.department
item.page.thesis.degree.grantor
item.page.thesis.degree.advisor
item.page.thesis.degree.committeeMember
Journal Title
Journal ISSN
Volume Title
Publisher
НТУ "ХПИ"
Abstract
Проведено аналіз властивостей синхронізуючих послідовностей та методів їх синтезу по автоматним діаграмам об'єктів діагностування. Визначені необхідні і достатні умови існування в автоматі однорідній синхронізуючій послідовності. Знайдені верхні межі довжини однорідних і неоднорідних синхронізуючих послідовностей.
The problem of testing sequential machines consist of deriving an input sequences for the machine which takes it though all possible states. The properties of a synchronizing sequence which will always take the machine to a specified final state are analyzed and invisteged.
The problem of testing sequential machines consist of deriving an input sequences for the machine which takes it though all possible states. The properties of a synchronizing sequence which will always take the machine to a specified final state are analyzed and invisteged.
Description
Citation
Бережная М. А. Синхронизирующие последовательности в конечных детерминированных автоматах / М. А. Бережная // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 57. – С. 8-16.