Разглядим формальную грамматику, порождающую кусок естественного языка. Пусть Т = {а, б, …я, А, Б, …Я} — огромное количество терминальных знаков — букв российского алфавита. Нетерминальный алфавит строится из знаков N = {Q, R, S}, где Q = {q₁,…q_n} — огромное количество имен людей в российском алфавите, R = {r₁,…r_m} — огромное количество глаголов, стоящих в 3-ем лице единственного числа реального времени, r_i и q_j записываются при помощи терминальных знаков. Пусть система подстановок имеет вид:

Разумеется, эта грамматика порождает язык, состоящий из фраз типа: «такой-то делает то-то», к примеру, «Маша читает», «Вася спит» и т.п. Работает грамматика последующим образом: на первом шаге определяется тип фразы; 2-ой шаг порождает конкретное имя, а 3-ий шаг — конкретное действие (глагол). Из данного примера виден содержательный смысл нетерминальных знаков — они могут обозначать разные классы определенных слов, а именно, классические грамматические классы — части речи, члены предложения и пр.

Подойдя к рассмотрению формальных грамматик в связи с необходимостью построения серьезного (совершенно точно понимаемого) описания метода, отметим, что по сути области их внедрения в информатике еще шире. На базе формальных грамматик создаются языки программирования и трансляторы к ним. При решении задач искусственного ума они употребляются в системах машинного перевода, также для генерации синтаксически правильных предложений в ответах экспертных систем на запросы юзеров. Формальные грамматики могут быть применяться в учебных и других программках (к примеру, Microsoft Word), где требуется проверка корректности вводимого текста и поиск в нем ошибок.