В работе представлены математическая модель иалгоритмы, направленные на разрешение проблемыэквивалентных преобразований ирегуляризации трансляционных грамматик. Модель,методы и алгоритмы реализованы в экспериментальной программной системе, позволяющей,по сравнению с известными подходами, повыситьскорость подготовки спецификации транслируемого языкав 3–4 раза, а также точнее определить разработчикуязыкового процессоранеобходимые затраты экономических, временных икадровых ресурсов.