Ты мне лучше вот чего скажи. Я не совсем уверен, что этот мой OISC можно распространить на случай бесконечной памяти без логического противоречия. Типа, у меня там встречаются две подряд инструкции перехода вниз по стеку на заранее заданную длину строки данных. Если память бесконечная, то это два перехода на бесконечное число шагов, и там еще в конце есть рабочие переменные. Это делает доказательство невалидным или где?

(Reply to this) (Parent) (Thread)

Не совсем понял о чём речь, не видя кода и не зная как следует самой Хайфу, но здесь:
> на заранее заданную длину
> на бесконечное число шагов
чувствуется противоречие.

(Reply to this) (Parent)