Дата публикации: 2008

Дата публикации в реестре: 2021-08-05T23:20:02Z

Аннотация:

В данной работе предлагается метод построения проверяющего теста для расширенного автомата на основе различающих последовательностей в специальном срезе автомата исходного расширенного автомата, т.е. в его упрощенной версии. Устанавливаются достаточные условия, при которых последовательности, различающие два состояния в срезе, различают эти состояния в исходном расширенном автомате.

Тип: статьи в журналах

Источник: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 110-118