Здравствуйте, palm mute, Вы писали:

PM>Товарищи описывают, как алгоритм Кнута-Морриса-Пратта получается из брутфорс-алгоритма путем partial evaluation: On Obtaining Knuth, Morris, and Pratt’s String Matcher by Partial Evaluation

Второй хороший конкретный пример — паттерн-матчер Nemerle строится методом "partial evaluation" — т.е. из наивного "дерева решений" во вренмя компиляции таким способом убирают все "лишние" тесты ( ML pattern match compilation and partial evaluation (1996)).
Автор алгоритма (Sestoft) — соавтор книги Partial Evaluation and Automatic Program Generation, доступной свободно.