2014 dxdy logo

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

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




Начать новую тему Ответить на тему
 
 LL(k) грамматики
Сообщение06.01.2015, 19:56 


07/11/14
3
Помогите, пожалуйста, решить следующую задачу

Показать, что КС-грамматика с правилами, приведёнными ниже, не является LL(2) грамматикой

S -> aAaB | bAbB
A -> a | ab
B -> a | aB

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

 Профиль  
                  
 
 Re: LL(k) грамматики
Сообщение10.01.2015, 13:05 
Заслуженный участник


02/08/11
6874
Я в соответствующей теории не очень разбираюсь, но с практической точки зрения получается, что одиночную "a" можно распарсить и как $A$ и как $B$ - неоднозначность.

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

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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