В лекции рассматриваются и строго определяются такие понятия как формальный язык, грамматика языка, язык грамматики. Приводится классификация формальных грамматик по Хомскому. Рассматриваются примеры.