Сomparison-line Голосов: 1 Адрес блога: http://comparison-line.ru Добавлен: 2010-11-26 13:42:23 блограйдером kottx

Нормализатор «повторчисло»

2013-03-04 19:44:25 (читать в оригинале)

Нормализатор «повторчисло» используется в итеративном цикле обработки выде-ленной группы утверждений с неизвестными А, для которых нужно усмотреть список подвыражений, выбираемых в качестве новых неизвестных. Здесь возможны два случая — несколько уравнений либо одно неравенство. Нормализатору передается текущее утверждение, которое он и будет изменять, но при этом сообщается и весь список утверждений — через комментарий («внешвхождение [...]