1. Електронний архів ДонНТУ м.Покровськ
  2. Фонди реорганізованих підрозділів
  3. Факультет комп'ютерних наук і технологій
  4. Кафедра обчислювальної математики і програмування
  5. Статті кафедри обчислювальної математики і програмування
Please use this identifier to cite or link to this item: https://ea.donntu.edu.ua/jspui/handle/123456789/7459
Full metadata record
DC FieldValueLanguage
dc.contributor.authorКопытова, О.М.-
dc.contributor.authorКозловский, В.А.-
dc.date.accessioned2012-03-09T10:40:33Z-
dc.date.available2012-03-09T10:40:33Z-
dc.date.issued2008-
dc.identifier.citationКозловский В.А., Копытова О.М. Представления автоматов в локально определенных классах // Труды ИПММ АН Украины. - 2008. - № 17. - С. 116 – 123.en_US
dc.identifier.urihttp://ea.donntu.edu.ua/handle/123456789/7459-
dc.descriptionThe problem of checking experiments construction is examined for an automaton-etalon in relation to the class of automata, got from an etalon by means of arcs transfers. Such class of automata, got by arcs transfers (from within some of their subsets), is defined (locally defined class). For this case sufficient and necessary conditions, at which partial automata are being presentations of the etalon, are found. It is shown, that the length of the shortest simple checking experiments (special case of presentation), differs from the length of the shortest graph circle path exactly on 1en_US
dc.description.abstractНайдены достаточные, а при дополнительных ограничениях и необходимые условия, при которых частичные автоматы являются представлениями автоматов относительно введенных локально определенных классов автоматов, полученных из эталона некоторыми перебросками дуг. Для таких представлений получены неулучшаемые для n-плотных классов автоматов оценки сложности представлений автоматов. Для их частных случаев - кратчайших простых контрольных экспериментов, показано, что длина последних отличается от длины кратчайших обходов ровно на единицу.en_US
dc.language.isootheren_US
dc.publisherИПММ АН Украиныen_US
dc.subjectChecking Experimentsen_US
dc.subjectAutomatonen_US
dc.subjectArcs Transfersen_US
dc.titleПредставления автоматов в локально определенных классахen_US
dc.typeArticleen_US
Appears in Collections:Статті кафедри обчислювальної математики і програмування

Files in This Item:
File Description SizeFormat 
статья4.pdf668,57 kBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.