|
Прикладная дискретная математика, 2009, номер 3(5), страницы 106–111
(Mi pdm138)
|
|
|
|
Прикладная теория автоматов
К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
Е. А. Акеньшина, Н. В. Шабалдина Томский государственный университет, г. Томск, Россия
Аннотация:
Предлагается способ улучшения метода построения тестов для недетерминированных автоматов относительно неразделимости. Показывается, что тест, построенный согласно модифицированному методу, будет по-прежнему полным, но при этом менее избыточным.
Ключевые слова:
недетерминированный автомат, отношение неразделимости, полный проверяющий тест.
Образец цитирования:
Е. А. Акеньшина, Н. В. Шабалдина, “К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов”, ПДМ, 2009, № 3(5), 106–111
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/pdm138 https://www.mathnet.ru/rus/pdm/y2009/i3/p106
|
|