Есть правила записанные на формальном языке, типа:
ПУТЬ = ПАПКА1 \ ПАПКА2 \ ПАПКА3 ...
ПАПКА1 = А | Б | В
ПАПКА2 = ИМЯ
ИМЯ = СТРОКА_СИМВОЛОВ
СТРОКА_СИМВОЛОВ = СИМВОЛ | СИМВОЛ СТРОКА_СИМВОЛОВ
СИМВОЛ = А | Б | В | ...
ПАПКА3 = ЧИСЛО | ЧИСЛО,ПАПКА3
...

Нужно проверить конкретную строку на соответствие данному правилу.
Т.е., насколько я понимаю — это классическая задача компилятора.

Вопрос:
Существуют ли простенькие компиляторы общего назначения в виде библиотеки (класса, функции), которые бы позволяли "компилировать" (не знаю как сказать ещё) простые выражения (наподобие выше описанных).