Scientific Library of Tomsk State University

   Digital catalogue        

Normal view MARC view

Проверка переходов в расширенном автомате на основе срезов Ю. В. Михайлов, А. В. Коломеец

By: Михайлов, Юрий ВладимировичContributor(s): Коломеец, Антон ВладимировичMaterial type: ArticleArticleContent type: Текст Media type: электронный Subject(s): расширенные автоматы | контекстно-свободные расширенные автоматы | различающая последовательностьGenre/Form: статьи в журналах Online resources: Click here to access online In: Вестник Томского государственного университета. Управление, вычислительная техника и информатика № 3. С. 110-118Abstract: В данной работе предлагается метод построения проверяющего теста для расширенного автомата на основе различающих последовательностей в специальном срезе автомата исходного расширенного автомата, т.е. в его упрощенной версии. Устанавливаются достаточные условия, при которых последовательности, различающие два состояния в срезе, различают эти состояния в исходном расширенном автомате.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Библиогр.: 4 назв.

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

There are no comments on this title.

to post a comment.
Share