Формальные языки и грамматики

Формальный язык является объединением множеств:

· исходных символов, называемых литерами или лексемами, которые включают алфавит языка (алфавит – это счетное множество допустимых символов языка, другими словами на языке формальных грамматик – терминальные символыVT);

· правил, которые позволяют строить из литеров алфавита новые слова, так называемые правила порождения слов или идентификаторов, предопределённых идентификаторов или словаря ключевых слов и прочих идентификаторов называемые именами (на языке формальных грамматик – нетерминальные символы NT);

· правил, которые позволяют собирать из имён и ключевых слов выражения, на основе которых строятся простые и сложные предложения, так называемые правила порождения операторов или предложений (на языке формальных грамматик – множество продукционных правил P вида a®b, гдеa'(VN ÈVT) и b' (VNÈVT));

· S –целевой (начальный) символ грамматики S' VN.

Множество правил порождения слов, выражений и предложений называют грамматикой формального языка или формальной грамматикой.

Язык, заданный грамматикой G обозначается как L(G).

Формальная грамматика G определяется как четверка G(VT,VN,P,S).

Замечание! Алфавиты терминальных и нетерминальных грамматик не пересекаются: VTÇVN=Æ.

Однако грамматика естественного языка, подобно наукам о природе с известной степенью достоверности описывает и обобщает результаты наблюдений за естественным языком как за явлением окружающего мира. Характерные для грамматики естественных языков исключения из правил свидетельствуют о том, что зафиксированная в грамматике языка система правил не может в точности описать все закономерности развития языка.