Cтраница 4
Однако для сколько-нибудь сложных предложений такой метод поиска доказательства становится практически непригодным ввиду того, что количество перебираемых вариантов оказывается чудовищно большим, так что их полный перебор за разумное время невозможен даже на современных быстродействующих электронных цифровых машинах. В этих случаях приходится пользоваться различного рода приемами, позволяющими резко сократить число перебираемых вариантов. К подобным приемам относится укрупнение правил вывода, благодаря чему доказательство строится из более крупных блоков и становится в результате значительно короче. Другой прием сокращения перебора состоит в разработке различных эвристических методов, позволяющих ставить промежуточные цели и тем самым разбивать процесс поиска доказательства на отдельные этапы. Такие этапы должны быть настолько мелкими, чтобы внутри них оказывалось возможным осуществление полного перебора. [46]
Зайцева, Л. П. Типы бессоюзных сложных предложений в современном английском языке. [47]