В любом языке можно выделить две составляющие: синтаксис и семантику. Синтаксис (грамматика языка) – это совокупность правил, согласно которым строятся допустимые в данном языке конструкции. Семантика – смысловая сторона языка – она соотносит единицы и конструкции языка с некоторым внешним миром, для описания которого язык используется.
Для описания формального языка необходим другой язык, с помощью которого будут создаваться языковые конструкции. Описываемый формальный язык называется языком-объектом, а язык, средствами которого производится описание – метаязыком. Метаязык должен обеспечивать как описание структурных единиц языка и правил объединения их в допустимые предложения, так и содержательную (смысловую) сторону языковых конструкций.
Любая грамматика начинается с указания алфавита, т.е. набора символов, посредством которого строятся конструкции языка.
Формальная грамматика задается упорядоченной четверкой