О преобразовании формальной схемы программ в свободнуюстатья