Парсер tex/latex

Очевидно, что регулярные языки для этого не подходят.

???? если просто замена впрямую не работает, то имеет смысл освоить создание макро в emacs ^x ( «порядок нужных действий» ^x ) — затем можно вызвать по ^x ^e, можно добавить префикс N ^u, где N — число повторямых последовательно команд.

????

Как регулярным выражением заменить \footnote{...} с произвольным уровнем вложенности команд в теле?

Набор команды (при условии что в footnote нет фигурных скобочек):

^x ( ^s \footnote{ ← ^r \ ← ^пробел ^s } ^w ^x )

Исполнение команды десять раз:

^u 10 ^x e

Но IMHO такие вещи просто разрулить руками, потому что эти сами \footnote руками же и набираются. Если же набираются автоматом, то там должен быть алгоритм под который свой макро можно будет настроить по ходу дела.

при условии что в footnote нет фигурных скобочек

Но я как раз и не могу обеспечить это.

Вообще идеально было бы иметь пакетик под какой-нибудь перл/питон/любой другой язык, чтобы можно было написать скрипт.

Тогда ручками или, если там есть какой-то регулярный алгоритм, подстроиться под него. Например, если команды, которые встречаются только там — выкосить их до замены.

Так же наверняка в emacs есть команда для поиска парной скобочки.

Нашёл Ctrl+Alt+f — с открывающей скобки прыгаешь на комплементарную ей закрывающую. Проверил, что работает в auctex.

^x ( ^s \footnote{ ← ^r \ ← ^пробел ^s { ← Ctrl+Alt+f ^w ^x )

Полноценный парсер теха должен сам быть техом и выполнять все команды, которые встретит, потому что от этого зависит результат парсинга. В техе, например, можно на ходу менять синтаксические категории разных символов, и многие пакеты это делают.

Можно, конечно, сделать парсер какого-то сферического подмножества латеха, но он будет ломаться на каждом втором документе сложнее «hello world».

У меня есть собственно разработанный генератор парсеров tex-like на CL. Создавал я его чтобы можно было заменить xml на tex-like. Поточная обработка текста. Есть различные функции по обработке макровыражений (термин tex-exp в коде), генератор парсинга окружений (\begin..\end).

Это нереально практически.

Парсер должен учитывать абзацы, линии кода, особенности оформления комментариев и прочее. Парсер будет большой и неповоротливый