Normal view
MARC view
Проверка переходов в расширенном автомате на основе срезов Ю. В. Михайлов, А. В. Коломеец
Material type:
ArticleContent type: Текст Media type: электронный Subject(s): расширенные автоматы | контекстно-свободные расширенные автоматы | различающая последовательностьGenre/Form: статьи в журналах Online resources: Click here to access online
In:
Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 3. С. 110-118Abstract: В данной работе предлагается метод построения проверяющего теста для расширенного автомата на основе различающих последовательностей в специальном срезе автомата исходного расширенного автомата, т.е. в его упрощенной версии. Устанавливаются достаточные условия, при которых последовательности, различающие два состояния в срезе, различают эти состояния в исходном расширенном автомате.
No physical items for this record
Библиогр.: 4 назв.
В данной работе предлагается метод построения проверяющего теста для расширенного автомата на основе различающих последовательностей в специальном срезе автомата исходного расширенного автомата, т.е. в его упрощенной версии. Устанавливаются достаточные условия, при которых последовательности, различающие два состояния в срезе, различают эти состояния в исходном расширенном автомате.
There are no comments on this title.