Компьютерный форум
Правила
Вернуться   Компьютерный форум > Форум программистов > Теория программирования > Алгоритмы
Перезагрузить страницу Как описывать грамматику в XML и что с ней дальше делать
Ответ
 
Опции темы Опции просмотра
  (#1 (permalink)) Старый
Andrey1 Andrey1 вне форума
Member
 
Сообщений: 50
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 13.03.2004
По умолчанию Как описывать грамматику в XML и что с ней дальше делать - 25.08.2004, 19:53

Знает ли кто, что-нибудь о проектах по представлению грамматики языков в форматах типа XML?

Как известно, языки программирования имеют грамматику (теория учит, что есть по крайней мере два типа грамматик БНФ и не БНФ).
Вопрос, как описывать ее в XML и что с ней дальше делать. Мне бы, например, хотелось бы:
1) Представлять (pretty-printed) грамматики публикациях (tex, html или хотя бы в виде картинки);
2) Проверять эквивалентность грамматик. Как известно, один и тот же язык можно описать разными грамматиками;
3) Проверять, соответствует ли программа языку, с заданной грамматикой;
4) Трансформировать программу на языке, с заданной грамматикой G1 в программу, с заданной грамматикой G2 (указав правила трансформации).


Есть ли такие проекты?


С уважением,
Андрей
Ответить с цитированием
  (#2 (permalink)) Старый
Улисс Улисс вне форума
Member
 
Сообщений: 13
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 17.05.2004
По умолчанию Re: Представление грамматики - 28.08.2004, 22:05

Цитата:
Originally posted by Andrey1
[b]Знает ли кто, что-нибудь о проектах по представлению грамматики языков в форматах типа XML?

Как известно, языки программирования имеют грамматику (теория учит, что есть по крайней мере два типа грамматик БНФ и не БНФ).
Вопрос, как описывать ее в XML и что с ней дальше делать. Мне бы, например, хотелось бы:
1) Представлять (pretty-printed) грамматики публикациях (tex, html или хотя бы в виде картинки);
2) Проверять эквивалентность грамматик. Как известно, один и тот же язык можно описать разными грамматиками;
3) Проверять, соответствует ли программа языку, с заданной грамматикой;
4) Трансформировать программу на языке, с заданной грамматикой G1 в программу, с заданной грамматикой G2 (указав правила трансформации).


Есть ли такие проекты?


С уважением,
Андрей
Предложенные тобой задачи 2 и 4 являются либо не решенными научными проблемами.
Добавлю, что xml -- это язык описания данных, а не структуры данных, не надо путать эти два понятия...
Ответить с цитированием
  (#3 (permalink)) Старый
Andrey1 Andrey1 вне форума
Member
 
Сообщений: 50
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 13.03.2004
По умолчанию 30.08.2004, 19:44

Вопрос был про представление (нотация) грамматики языков.

Проблемы 2, 4 разрешимы.
2: если разложить все множество программ на некторый базис, взять конечное множество элементов и сравнить на нем, то с той или иной степенью вероятности эта задача решается;
4: Тут все очевидно. Никто не будет требовать, чтобы оттранслированная программа была исполнимой.
Мне видится следующий путь: txt->xml->xml'->txt'. Чтобы описать переходы txt->xml и xml'->txt' нужна нотация. Очень бы хотелось, чтобы по этой же нотациям можно было бы построить xml->xml'.
Ответить с цитированием
  (#4 (permalink)) Старый
Andrey1 Andrey1 вне форума
Member
 
Сообщений: 50
Сказал(а) спасибо: 0
Поблагодарили 0 раз(а) в 0 сообщениях
Регистрация: 13.03.2004
По умолчанию 01.09.2004, 13:23

Ccылка по теме: http://sourceforge.net/projects/yaxx
Ответить с цитированием
Ads
Ответ

Опции темы
Опции просмотра

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

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.
Trackbacks are Вкл.
Pingbacks are Вкл.
Refbacks are Выкл.


Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
При загрузке Win7 дальше эмблемы не грузиться. Jekson Windows 7 0 12.03.2012 23:14
Не знаю что делать дальше... mimimimio Любые вопросы от новичков 1 14.02.2012 01:15
Как дальше писать эту программу( не доходит... Nasya Программирование графики 0 31.10.2011 04:53
Как описывать области данных для предикатных переменных в VP 7.3? myshnok Prolog 9 12.08.2011 22:07
Компьютер не запускается дальше окна материнки Meridan Техническая поддержка 1 24.04.2011 14:04
Что обнаружил Dr.Web и что делать дальше? Semionova MS Любые вопросы от новичков 30 08.06.2010 19:06
Фильм воспроизводится 30 минут и дальше останавливается. olesya88 Любые вопросы от новичков 2 27.01.2010 01:35
ESET NOD32 нашел инфицированный объект, что делать дальше? Зюзюка Любые вопросы от новичков 3 06.10.2008 11:22
После вируса загрузка ХР доходит до эрана приветствия и дальше не загружается. frolio Любые вопросы от новичков 15 20.09.2008 18:19
что сделать дальше? Mur3ilka Моддинг 27 25.08.2007 15:28
В поле типа Memo не хочет писать дальше 2-ой строчки AllHaveMan C++ Builder 3 17.12.2005 12:14
Как правильно описывать сегмент стека Mixail Assembler 0 03.05.2004 14:21



Powered by vBulletin® Version 3.8.7
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.
Нardforum.ru - компьютерный форум и программирование, форум программистов