О вычислениях с ограниченным хранением записей

Рассматриваются одноленточные машины Тьюринга, порождающие двоичные последовательности. Не предполагается, что записи в ячейках ленты могут сохраняться вечно. Время хранения символа в ячейке зависит по некоторому закону от количества тактов, потраченных на его образование и реставрацию. Указывается закон, обеспечивающий порождение любой вычисляемой последовательности.