Аннотация:Решается задача адаптации для программной реализации алгоритма проверки вложимости классов допустимых кодирований двух регулярных языков в алфавите {0,1}, который предложил Дергач П.С. в своей кандидатской диссертации.
В рамках решения задачи, Валерия предложила свой подход к построению множеств H(X1), H(X2) и проверки вложимости H(X1) в H(X2). Для этого были придуманы собственные нетривиальные алгоритмы, доказаны вспомогательные утверждения из области теории чисел.