PEG

В компьютерной терминологии, PEG или parsing expression grammar (грамматика парсинга выражений) - это тип формальной аналитической грамматики, способной описывать формальный язык в рамках набора правил для распознавания строк языка. В терминах синтаксиса, PEG схож с контекстно-свободными грамматиками, однако, оператор выбора "/" в PEG возвращает первое совпадение искомой подстроки, тогда как в контекстно-свободных грамматиках оператор выбора двусмысленен.