• Neterminály: názvy (= řetězce)
• Příklad: prog, stat, expr, …
• Terminály: Znaky v uvozovkách nebo deklarované tokeny
• Příklad: ‘+’, ‘*’, ‘(’, ‘)’, ID, INTEGER
• Pravidla: Množina A-Pravidel: {
A ® x1,
A ® x2,
… A ® xn}
je zapsána:
A : x1
| x2
…
| xn
• Příklad: expr : expr ‘+’ expr
| ID
• Počáteční neterminál:
Levá strana prvního pravidla