О задаче достижимости состояний для гибридных автоматов на торедипломная работа (Специалист)