Продукція — це заміна послідовності символів S1 на послідовність символів S2 (Позначається. S1 : S2 або S1 -> S2). Продукція називається контекстно-незалежною, якщо S1 — один символ. Зазвичай розглядають лише контекстно-незалежні продукції. Задача синтаксичного аналізатора — встановити шлях, яким вхідна програма виводиться зі стартового символу.