Формализм... «Компиляторы. Принципы, технологии и инструментарий»

Формализм контекстно-свободных грамматик был введен Хомски (Chomsky) в процессе изучения естественных языков. Эта идея была использована в описании синтаксиса двух ранних языков: Fortran - Бэкусом (Backus) и Algol 60 - Науром (Naur). Ученый Панини (Panini) разработал эквивалентную запись для описания правил грамматики санскрита между 400 и 200 годами до н.э.