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

Loading...
Thumbnail Image

Date

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.

Description

Citation

Бережная М. А. Синхронизирующие последовательности в конечных детерминированных автоматах / М. А. Бережная // Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Автоматика и приборостроение. – Харьков : НТУ "ХПИ", 2008. – № 57. – С. 8-16.

Endorsement

Review

Supplemented By

Referenced By