Возникла задача такого плана. Изначально имеется некоторое множество строковых ключей (порядка 3-5 символов каждый, алфавит [0-9A-Za-z*]). Также имеется набор логических выражений вида
AAA / ( BBB & CCC )
где «/» — OR, «&» — AND, но, в отличие от классических языков «/» — более приоритетный оператор, т.е. вышеприведённое выражение эквивалентно
AAA | BBB & CCC
Поскольку разбирать на стороне клиента каждый раз подобные выражения неэффективно, то я думаю превращать их в JSON на стороне сервера, чтобы затем использовать на клиенте.
В связи с этим вопрос: есть ли готовые парсеры для PHP, чтобы не изобретать велосипед, а просто допилить под свои нужды? Или кто-нибудь предложит какое-то другое решение?
