text: Первое относится к области информатики и связано с разработкой метода машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов.