Виртуальная лаборатория для обучения методам искусственного интеллекта при построении конечных автоматов