Формальные грамматики для языков программирования и других применений
Котович Леонид Леонидович,
доцент кафедры Математического обеспечения вычислительных
систем МИРЭА, кандидат технических наук
Вероятно, каждый язык народов мира имеет свою грамматику, и в этих грамматиках немало исключений из правил, синонимов и слов, имеющих различное толкование.
Формальные грамматики для языков программирования гораздо проще, и они не дают возможности различного толкования написанного. Соблюдение правил таких грамматик позволяет программистам писать правильные, синтаксически верные компьютерные программы.
Каждая формальная грамматика порождает последовательности символов, которые, вместе взятые, называются «языком».
Мы рассмотрим примеры грамматик, порождающих небольшие фрагменты текста Ветхого Завета, все числа римской системы счисления и совсем простые «языки», состоящие из нескольких слов.
Наконец, увидим грамматику, которая порождает «язык», состоящий из русских фраз: «Пошел ты в баню, хорек немытый!», «Да пошел ты, бегемот небритый!», «Шел бы ты в баню!» и других подобных.