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 ] 

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



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

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


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

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