Студопедия

Главная страница Случайная лекция

Порталы:

БиологияВойнаГеографияИнформатикаИскусствоИсторияКультураЛингвистикаМатематикаМедицинаОхрана трудаПолитикаПравоПсихологияРелигияТехникаФизикаФилософияЭкономика






Обозначения

Читайте также:
  1. Выбор заготовки и баз при обработке заготовки. Понятие о базах. Правила базирования. Схемы базирования. Погрешность базирования. Условные обозначения базирующих элементов.
  2. ЗАНЯТИЕ № 17 Греко-латинские дублетные обозначения тканей, органов, секретов, выделений, физических свойств, качеств
  3. Зубчатые передачи. Основные термины и обозначения. Способы изготовления зубчатых колес.
  4. Понятие проекциидля обозначения подобных методик было впервые использовано Л. Франком в 1939 г.
  5. Примеры и обозначения
  6. Условные обозначения и формулировки требований к чертежу детали
  7. Условные обозначения на геологических картах
  8. Условные обозначения опор, зажимов и установочных устройств
  9. Условные обозначения подшипников

 

Будем обозначать элементы множества N большими буквами латинского алфавита. Элементы множества T – малыми латинскими буквами. Цепочки из V* - греческими буквами. Цепочки из T* - x,y,v,w,z.

Пример:

N={B,C,S},

T={a,b}.

P: 1. S→aCa, 2. C→CBa, 3. C→b, 4. aB→Ba, 5. bB→bb.

1. S→(1)aCa → (3) aba

2. S→(1)aCa→(2)aCBaa→(3)abBaa→(5)abbaa.

Грамматики, для которых нет ограничений на правила множества P, называются грамматиками типа 0. Это самые общие грамматики. Языки, определяемые грамматиками этого типа, называются языками класса 0.

Можно строго доказать, что множества цепочек, определяемые грамматиками данного типа, являются перечислимыми множествами. Это означает следующее: если задана грамматика G и цепочка x и требуется построить алгоритм, который бы определял справедливость высказывания , то существует алгоритм, который при положительном ответе на заданный вопрос за конечное число шагов остановится, а при отрицательном ответе будет работать бесконечно долго.

Алгоритм таков: поскольку множество правил конечно, если , то существует вывод . Алгоритм будет перебирать все возможные правила, и, как только в результате этого встретится цепочка x, алгоритм прекратит свою работу. Здесь понадобится конечное, хотя и большое, число переборов. Накладывая различного рода ограничения, можно получить более простые грамматики, для которых указанная проблема разрешима, т.е. существует алгоритм, который для любой цепочки x останавливается, выдавая ответ “да” или “нет”. Подобного рода грамматики применяются на практике.

Если правила грамматики удовлетворяют следующему соотношению: , , то грамматика такого типа называется неукорачивающей, а языки, определяемые такими грамматиками, называются языками класса 1 (– длина цепочки).

Проблема распознавания ставится следующим образом: задана грамматика G, цепочка . Требуется дать ответ: или . Если эта проблема разрешима, то язык распознаваемый.

Язык называется легко распознаваемым, если число шагов при решении проблемы распознавания зависит только от длины цепочки.

Теорема: Язык, определяемый неукорачивающей грамматикой, легко распознаваем.

Для доказательства этой теоремы мы должны построить алгоритм, который решает проблему распознавания, и число шагов зависит только от длины цепочки.

Доказательство: Пусть - заданная цепочка длины . Рассмотрим возможный вывод этой цепочки . Если в выводе встречаются повторяющиеся участки вида , то мы можем исключить их. Выводы без таких исключаемых частей называют бесповторными. Т.к. длина цепочки фиксирована и равна n, то существует конечное число бесповторных выводов и алгоритм может быть таков: построить множество бесповторных выводов всевозможных цепочек длины n. В силу свойства грамматики длина каждой последующей цепочки в выводе не меньше длины предыдущей, такое множество может быть только конечным.

Далее предъявленную цепочку необходимо сравнить с элементами построенного множества. Работа данного алгоритма (количество шагов) зависит только от длины цепочки.

Замечание: описанный алгоритм очень неэффективен и используется только для доказательства.

 


<== предыдущая страница | следующая страница ==>
Теория формальных языков. Модели языка по Хомскому | Фармакология как наука

Дата добавления: 2014-02-26; просмотров: 217; Нарушение авторских прав


lektsiopedia.org - Лекциопедия - 2013 год. | Страница сгенерирована за: 0.003 сек.