УДК004.4'242

ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ БУЛЕВОЙ ФОРМУЛЫ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ

Ульянцев В. И., Царев Ф. Н.


Читать статью полностью 

Аннотация

 

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


Ключевые слова:

конечные автоматы, машинное обучение, задача о выполнимости булевой формулы.

Информация 2001-2017 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика