Подход к параллельной реализации проверки бинарного отношения покрытия для заданной пары конечных языковстатья