Donetsk National Technical University
Please use this identifier to cite or link to this item:
https://ea.donntu.edu.ua/jspui/handle/123456789/7463| Title: | Условия контроля автоматов «почти» обходами |
| Authors: | Козловский, В.А. Копытова, О.М. |
| Keywords: | Checking Experiments Automaton Initial Idetifier Bypass Arc Minimal Length of Control Experiment |
| Issue Date: | 2008 |
| Publisher: | Томск: Изд-во НТЛ |
| Citation: | Козловский В.А., Копытова О.М. Условия контроля автоматов «почти» обходами // Новые информационные технологии в исследовании сложных структур: Тезисы докладов Седьмой Российской конференции с международным участием. – Томск: Изд-во НТЛ, 2008. – с.51. |
| Abstract: | Рассматриваются контрольные эксперименты с автоматами относительно таких классов "неисправностей", для которых всякий обход по дугам автомата-эталона либо является контрольным экспериментом этого автомата, либо может быть достроен до него приписыванием к обходу произвольного вход-выходного слова длины, не превосходящей некоторой константы m, определяемой классом и эталоном. Такие контрольные эксперименты называются "почти" обходами порядка m |
| Description: | We consider the control experiments with automata respectively to such classes of "faults", for which every bypass of all the arcs of the automaton-etalon is either a control experiment of this etalon, or can be completed by ascribing to bypass any input-output words of length not exceeding some constant m, determined by the class and the etalon. Such control experiments are called "almost" bypass of order m. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/7463 |
| Appears in Collections: | Матеріали конференцій кафедри обчислювальної математики і програмування |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.