Язык и среда для описания и исследования алгоритмических суперпозицийстатья