name: Синхронизация частичных и недетерминированных автоматов: подход на основе SAT-решателей
keyword_list: конечные автоматы,   ЧАСТИЧНЫ  АВТОМАТЫ,  НЕДЕТЕРМИНИРОВАННЫ АВТОМАТЫ,  СИНХРОНИЗАЦИЯ АВТОМАТЫ, ВЫПОЛНИМОСТЬ,  SAT-РЕШАТЕЛЕЙ
abstract: Цель: систематическое исследование тщательной и точной синхронизации частичных детерминированных автоматов и D1-, D2- и D3-синхронизации недетерминированных конечных автоматов с использованием SAT-решателей и теоретический анализ экспериментальных данных.
chairman_dissertation_council.surname: Пименов В. Г.
chairman_dissertation_council.position: Заведующий кафедрой
chairman_dissertation_council.degree: Доктор физико-математических наук
organization_supervisor.surname: Бугров Д.В.
organization_supervisor.position: первый проректор
organization_supervisor.degree: Кандидат исторических наук
rubrics.code: 27.41.41
rubrics.name: Алгоритмы решения задач вычислительной и дискретной математики
oecds.code: 01.02.EX
oecds.name: COMPUTER SCIENCE, THEORY & METHODS
speciality_codes.name: Теоретические основы информатики
speciality_codes.code: 05.13.17
supervisors.fio: Волков Михаил Владимирович
supervisors.scientific_degree: Доктор физико-математических наук
supervisors.speciality_code: Теоретические основы информатики
supervisors.responsible_type: Научный руководитель
opponents.fio: Гутерман Александр Эмилевич,
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Теоретические основы информатики
opponents.responsible_type: Оппонент
opponents.fio: Кабанов Владислав Владимирович,
opponents.scientific_degree: Доктор физико-математических наук
opponents.speciality_code: Теоретические основы информатики
opponents.responsible_type: Оппонент
protection_organization.short_name: ФГАОУ ВО "УрФУ имени первого Президента России Б.Н. Ельцина", Уральский федеральный университет, УрФУ
protection_organization.name: Федеральное государственное автономное образовательное учреждение высшего образования "Уральский федеральный университет имени первого Президента России Б.Н. Ельцина"
protection_organization.ogrn: 1026604939855
protection_organization.organization_type: Организация
protection_organization.okogu: Министерство науки и высшего образования Российской Федерации
protection_organization.okopf: Федеральные государственные автономные учреждения