Я написал грамматику BNF в Antlr4. С помощью команд Antlr мне удалось запустить его и скомпилировать. Выходами являются все необходимые файлы, которые создает Antlr (лексеры, парсеры, слушатели). Я не уверен, что созданная мной грамматика BNF семантически правильна, но, по крайней мере, она синтаксически правильна, поскольку ошибок не возникает.
На этом этапе я должен проверить, обрабатываются ли некоторые существующие выражения в соответствии с этой грамматикой, но я не знаю, как это сделать.