abridgement algorithm

Алгоритм сокращения (длины идентификатора)