Аннотация:В курсовой работе Ангелины Шевцовой решается задача программной реализации части алгоритма по проблеме вложимости допустимых классов языков, алгоритмическая разрешимость которой доказана в кандидатской диссертации научного руководителя. Сама эта проблема состоит в следующем. Даны два регулярных языка и для каждого из них строится класс схем кодирования, однозначных на языке. На некотором шаге алгоритма проблема сводится к проблеме вложения специального множества отрицательных тангенсов, построенных по множеству одноэлементных пучков в целочисленной решетке. Студенткой написана работающая программа, решающая часть этой задачи — реализовано представление множества тангенсов в удобном для дальнейшей работы виде — конечном объединении рациональных дробей с числителями и знаменателями, пробегающими значения из арифметических прогрессий. .