Промптинг как статическая линковка: почему формальные CS-примитивы лучше естественного языка в LLM

Исследование с 1680 A/B-тестами показывает, что использование классических компьютерных формализмов (Unix-примитивов, FSM, EBNF) вместо длинных текстовых инструкций значительно повышает надежность работы языковых моделей. Формальные конструкции, часто встречающиеся в обучающих данных, позволяют моделям эффективнее использовать контекстное окно и снижают количество ошибок по сравнению с естественным языком.