это только первый этап алгоритмов, в так называемом скетче "как читать нейронки"
Методология была разработана и применена при анализе регекспоподобніх вьіражений размером до 1.5MB .
В данном методе присутствуют три ленты. В реальности их может быть и больше.
Не смотря на то, что в данном случае это было провисание алгоритма, метод может применяться и для других локализаций, потому логичнее ввести термин, путь будет симптом.
далее задекларированные ленты — выражением.
Попытаемся применить к выражению метод деления пополам. Очевидным становится то, что на определенный момент времени t позиции на лентах будут p0 p1 p2, очевидным становится то, что p[n] (в нашем случае кода)
имеет большую вариативность, чем больше размер ленты tape[n]. вводим понятие консистентность выржанеия consist(expr). консистентность выражается в том, что его определяет
переход от элемента к элементу в ленте минимального размера. tape tmin=min_tape(expr). Таким образом, иы получаем детерминированное консистентное отношение между p0, p2, p3. Где pn E pn{1-tapeN},
после консистентно корректного деления пополам, мы определяем в какой из частей выражения проявляется симптом, анализируя впоследствии части с симптоматикой, до моментьа локализации.
