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

Наиболее распространенный способ описания предложений заключается в перечислении их схем или образцов (не более нескольких десятков). Этот традиционный способ описания опирался на теорию членов предложения.

Многие современные теории грамматики используют более строгие понятия. При этом в теории часто используются математические объекты, которые обладают рядом свойств, общих с естественным языком, и тем самым до известной степени моделируют его.

Формальными грамматиками называются такие системы правил, которые математически строго задают (или характеризуют) множество цепочек, т.е. конечных последовательностей символов.

Каким образом можно представить в математически строгом виде правила построения синтаксических единиц?

Рассмотрим несколько русских ИГ:

а. игрушка

б. тетрадь

в. красивая игрушка

г. большая игрушка

д. красивая большая игрушка

е. большая красивая тетрадь

ж. большая красивая зеленая игрушка

з. эта игрушка

и. эта большая дорогая красивая игрушка

й. та большая зеленая красивая тетрадь

Назовем множество ИГ (а-й) N. Сформулируем правила на множестве N.

1. Всякая цепочка вида П* С входит в N.

С – любой элемент множества {игрушка, тетрадь};

П – любой элемент множества {большая, красивая, зеленая, дорогая};

знак * (“звездочка Клини, по имени логика) означает, что отмеченный им элемент может быть повторен любое число раз от нуля до бесконечности.

2.Всякая цепочка вида М С’ входит в N.

М – любой элемент множества {эта, та};

C’ – любой элемент, принадлежащий множеству N в силу условия 1.

Цепочки, определяемые правилами 1) и 2), состоят из отдельных символов: игрушка, тетрадь, большая, эта и др.

Символы, из которых составлены цепочки, задаваемые правилами 1) и 2), называются терминальными, а множество таких символов – основным алфавитом.

Такие символы, как N, C, C’, M, П, которые используются при определении цепочек, но не входят в определяемые цепочки, называются нетерминальными (вспомогательными), и образуют вспомогательный алфавит.

Лекция 8: Формальные грамматики


Читать еще…

Понравилась статья? Поделиться с друзьями: