Порождающие грамматики.

Порождающие грамматики.
Первый способ основан на том, что грамматика имеет вид порождающей системы (разрешения производить некоторые действия), используя которую, можно полу-чить (породить) все предложения языка и только их. Примерами порождающих грамматик являются форма записи для задания синтаксиса языка Алгол 60, получившая название нормальной формы Бэкуса, или формы Бзкуса — Наура (сокращенно БНФ), а также так называемые синтаксические диаграммы, используемые при описании языка Паскаль. Этот способ задания языка программирования ориентируется на человека, поскольку человек использует язык программирования для создания (порождения) программ, решающих поставленную задачу. Однако программы предназначены, главным образом, для их решения на ЭВМ, и возникает задача распознавания синтаксической структуры уже написанных программ.