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

Указатели вида «обрыв(…)»

2013-02-20 22:19:52 (читать в оригинале)

Указатели вида «обрыв(…)» используются для формулировки условий обрыва работы анализатора. При этом только что выведенное утверждение снабжается комментарием «внешвывод», и происходит передача всех выделенных таким комментарием посылок анализатора во внешнюю задачу на исследование. В данном приеме имеем следующие три условия обрыва вывода. Во-первых, это «обрыв(равно(числонеизвестных(/) 1))» — получение уравнения с единственной неиз-вестной Во вторых, «обрыв(контекст(вид( [...]