Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Доки / T_ALG / 1 / FOMICHEV / section2 / Part213

.htm
Скачиваний:
7
Добавлен:
17.04.2013
Размер:
2.52 Кб
Скачать

      Пред.Страница   След.Страница   Раздел   Содержание

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

  Пред.Страница   След.Страница   Раздел   Содержание

 

Соседние файлы в папке section2