Разумеется. Но, вообще говоря, формальные системы, по большей части, счётно-бесконечны. То есть, мы в любом случае не можем полностью описать ни одну из них. Так что можно попробовать и пойти путём уникальных идентификаторов. Но тут уже чисто технические ограничения - у меня будет беда с символами, не хватать будет, неудобно-с.