Простыми словами
Проблемный вариант выглядит так: решение принимают без учета механизма «Böhm–Jacopini Theorem», оценивая только ближайший эффект. На практике принцип полезен, когда решение в области «Алгоритмы» выглядит локальным, но меняет поведение всей системы. Поэтому понятие помогает отличить инженерную проблему от фундаментального ограничения, которое нельзя убрать одной оптимизацией.
Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на исходные параметры, ограничения модели и измеряемые величины. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Решение принимают без учета механизма «Böhm–Jacopini Theorem», оценивая только ближайший эффект.
Перед изменением проверяют, как «Böhm–Jacopini Theorem» влияет на ограничения, стимулы, зависимости и вторичные последствия.
Ограничения
Теорема показывает выразительную достаточность управляющих конструкций, но не утверждает, что всякая полученная программа будет понятной или эффективной.
Источник
Corrado Böhm; Giuseppe Jacopini, “Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules”, 1966.