Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=проблема выполнимости<.>)

Общее количество найденных документов : 1

Марченков, Сергей Серафимович (доктор физико-математических наук; профессор).
О проблеме выполнимости логико-автоматных формул [Текст] / С. С. Марченков // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2020. - № 2 (54). - С. 61-71. - Библиогр.: с. 69-70 (11 назв.) . - ISSN 2072-3040

УДК

^a519.7

ББК 22.18
Рубрики: Математика
Математическая кибернетика
Кл.слова (ненормированные):
конечные автоматы -- логико-автоматные формулы -- проблема выполнимости
Аннотация: Рассматриваются логико-автоматные формулы, построенные с помощью логических связок из равенств автоматных термов. Для формул данного типа формулируется проблема выполнимости по функциональным (автоматным) переменным. При этом предполагается, что все предметные переменные (по двоичным сверхсловам) находятся под кванторами общности. Строится алгоритм, основанный на переборе частичных недетерминированных автоматов, который решает данную проблему. Предложенный в работе подход к анализу и решению проблемы выполнимости для конечно-автоматных логических формул может быть использован при решении аналогичных алгоритмических проблем для логико-автоматных формул более сложных типов.

Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)