Форма Бекуса-Наура (БНФ)

Це метод позначення для контекстно-вільних граматик, часто використовується для опису синтаксису з мов, що використовуються при обчисленні, таких як комп'ютерні мови програмування, формати документів, набори команд і зв'язку протоколів. Алфавіт – множина символів, використовуваних у мові. Термінал або термінальний символ – символ з алфавіту. Нетермінал або нетермінальний символ – символ не з алфавіту. Ланцюг – послідовність символів. Термінальний ланцюг – ланцюг, що складається з термінальних символів. Мова – множина термінальних ланцюгів.