, где T и N – непересекающиеся конечные множества, образующие алфавит или словарь порождаемого формального языка; T называется множеством (словарем) терминальных символов; N – множеством (словарем) нетерминальных (вспомогательных) символов. S – начальный (выделенный) вспомогательный символ из множества N. P – набор правил вывода конструкций языка (подстановок) из выделенного вспомогательного символа, имеющие вид g h, где g и h – цепочки, состоящие как из терминальных, так и нетерминальных символов.