Вот один из них:
bnf = rules ;
rules = rule ;
rules = rules rule ;
rule = lefthandside EQUAL righthandside SEMICOLON ;
lefthandside = IDENTIFIER ;
righthandside = ;
righthandside = righthandside token ;
token = IDENTIFIER ;
token = QUOTEDLITERAL ;
Это оставляет IDENTIFIER, QUOTEDLITERAL, EQUAL и SEMICOLON неопределенными, в предположении, что BNF определяется по токенам языка.
Вы можете определять BNF по символам,Просто добавьте:
EQUAL = '=' ;
SEMICOLON = ';' ;
IDENTIFIER = letter ;
IDENTIFIER = IDENTIFIER letterordigit ;
letterordigit = letter ;
letterordigit = digit ;
letter = 'A' ;
...
letter = 'Z' ;
digit = '0' ;
...
digit = '9' ;
Оставьте в качестве упражнения для читателя: добавьте выбор (|), несколько правил и звездочку клини, чтобы сделать это BNF для EBNF;этот ответ явно утомляет работу с пробелами, но вы можете справиться с этим, вставляя нетерминал «заготовки» везде, где допускаются пробелы (нехорошо, но работает).Существуют системы спецификаций BNF, в которых вы действительно пишете грамматику, в основном, над символами, и для вас выполняется неявная нетерминальная вставка такого типа (например, "Синтаксический формализм определения" Stratego ).
Если вы хотите ошеломляющий урок в BNF-about-BNF, вы должны прочитать документ / сделать учебное пособие для системы обработки BNF от честного до черта 1965 года под названием «MetaII».В этой статье описывается, как использовать BNF в BNF и как построить два компилятора на всех 10 страницах.
(Один большой урок здесь: прочитайте все материалы по информатике 60-х и 70-х годов. Их не так уж много, и вы будете удивлены тем, сколько там хорошего материала).