В мета-модели, нахождение референта, это не может быть таким утяжелением? И по ходу ММ если все делается системно, то веса становиться достаточно чтобы перескочить.Тогда это больше похоже на процесс калибровки дистанции головки. С каждым циклом немножко добавляем, чтобы найти момент, когда веса будет достаточно.
Перескочить она может и назад, поэтому необходимо что-то говорящее/показывающее, что перешел куда надо.А какие возможны проверки по ходу, что веса достаточно? Подстановки, эквивалентности, работа с ПСледствием и т.д. Так?
А какие возможны проверки по ходу, что веса достаточно? Подстановки, эквивалентности, работа с ПСледствием и т.д. Так?Скорее ведь более общие критерии:- полное раскрытие какой-то мета-формы- изменение семантики/темы череды фраз- м.б. что-то ещё