2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Приведение грамматики
Сообщение01.06.2016, 09:19 


30/08/10
159
Почему в алгоритме приведения грамматики для удаления всех непорождающих и недостижимых символов сначала удаляют непорождающие символы, а потом недостижимые? В учебнике сказано, что если делать в обратном порядке, то грамматика может остаться неприведённой, т.е. останутся непорождающие или недостижимые символы. Однако примеров этому я не могу придумать.
P.S. И как доказать корректность алгоритма?

 Профиль  
                  
 
 Re: Приведение грамматики
Сообщение01.06.2016, 09:28 
Заслуженный участник
Аватара пользователя


06/10/08
6422
Потому что могут быть символы, достижимые только с помощью непорождающих символов. Если сначала удалить недостижимые, а потом непорождающие, то такие символы останутся

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Veteran WOW


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group