V rabote predstavleny matematicheskaya model" ialgoritmy, napravlennye na razreshenie problemyekvivalentnykh preobrazovaniy iregulyarizatsii translyatsionnykh grammatik. Model",metody i algoritmy realizovany v eksperimental"noy programmnoy sisteme, pozvolyayushchey,po sravneniyu s izvestnymi podkhodami, povysit"skorost" podgotovki spetsifikatsii transliruemogo yazykav 3–4 raza, a takzhe tochnee opredelit" razrabotchikuyazykovogo protsessoraneobkhodimye zatraty ekonomicheskikh, vremennykh ikadrovykh resursov.