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

Приемы анализаторов

2013-02-01 02:50:27 (читать в оригинале)

Приемы анализаторов. Анализаторы представляют собой пакетные операторы для быстрого вывода следствий с определенной целью. По достижении данной цели вывод обрывается, и отобранные утверждения переносятся из накопителя анализатора в список посылок внешней задачи Такой задачей всегда является некоторая задача на исследование Экономия от использования анализатора состоит в том, что каждое новое утверждение здесь рассматривается существенно меньшим [...]