к статье, предназначенной для опубликования в журнале "Theoretical Computer Science". /Текст рукописный./
