Предлагается способ улучшения метода построения тестов для недетерминированных автоматов относительно неразделимости. Показывается, что тест, построенный согласно модифицированному методу, будет по-прежнему полным, но при этом менее избыточным.
Скачать электронную версию публикации
Загружен, раз: 73
- Title К ПОСТРОЕНИЮ ПРОВЕРЯЮЩИХ ТЕСТОВОТНОСИТЕЛЬНО НЕРАЗДЕЛИМОСТИДЛЯ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ
- Headline К ПОСТРОЕНИЮ ПРОВЕРЯЮЩИХ ТЕСТОВОТНОСИТЕЛЬНО НЕРАЗДЕЛИМОСТИДЛЯ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 3(5)
- Date:
- DOI
Ключевые слова
недетерминированный автомат , отношение неразделимости , полный проверяющий тест Авторы
Ссылки
Евтушенко Н. В., Спицына Н. В. О верхней оценке длины разделяющей последовательности // Вестник Томского госуниверситета. Приложение. Сер. Математика. Кибернетика. Информатика. 2006. №18. С. 54-58.
Shabaldina N., El-Fakih К. and Yevtushenko N. Testing Nondeterministic Finite State Machines With Respect to the Separability Relation // Lect. Not. Сотр. Sci. 2007. V. 4581. P. 305-318.
К ПОСТРОЕНИЮ ПРОВЕРЯЮЩИХ ТЕСТОВОТНОСИТЕЛЬНО НЕРАЗДЕЛИМОСТИДЛЯ НЕДЕТЕРМИНИРОВАННЫХ АВТОМАТОВ | Прикладная дискретная математика. 2009. № 3(5).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 206