Bison — это генератор парсеров GNU. Он генерирует парсеры LALR, но также может генерировать парсеры GLR для грамматик, не являющихся LALR. Он имеет режим совместимости со своим старым предшественником Yacc (еще один компилятор компилятора).
C — это язык программирования общего назначения, используемый для системного программирования (ОС и встроенного), библиотек, игр и кроссплатформенности.
Формальная грамматика — это набор производственных правил, которые описывают, как формировать строки действительного синтаксиса. Формальные грамматики чаще всего используются для определения синтаксиса языка программирования.
Тэг compiler-construction следует применять к вопросам, касающимся программирования компиляторов, или к вопросам о детальной внутренней работе компиляторов.