|
eaDonNTU, Donetsk >
Факультет компьютерных наук и технологий (до 2021) >
Кафедра программного обеспечения интеллектуальных систем >
Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем >
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://ea.donntu.ru/handle/123456789/19185
|
| Название: | Представления автоматов в локально определенных классах |
| Авторы: | Козловский, В.А
Копытова, Ольга Михайловна
Kozlovskiy, V.A.
Kopitova, O.M. |
| Ключевые слова: | Checking Experiments
Automaton
Arcs Transfers |
| Дата публикации: | 2008 |
| Библиографическое описание: | Козловский В.А., Копытова О.М. Представления автоматов в локально определенных классах // Труды ИПММ АН Украины. - 2008. - № 17. - С. 116 – 123. |
| Аннотация: | Найдены достаточные, а при дополнительных ограничениях и необходимые условия, при которых частичные автоматы являются представлениями автоматов относительно введенных локально определенных классов автоматов, полученных из эталона некоторыми перебросками дуг. Для таких представлений получены неулучшаемые для n-плотных классов автоматов оценки сложности представлений автоматов. Для их частных случаев - кратчайших простых контрольных экспериментов, показано, что длина последних отличается от длины кратчайших обходов ровно на единицу. |
| Описание: | The 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 1. |
| URI: | http://ea.donntu.edu.ua/handle/123456789/19185 |
| Располагается в коллекциях: | Статті кафедри обчислювальної математики і програмування
Матеріали конференцій та семінарів кафедри програмного забезпечення інтелектуальних систем
|
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.
|
