 |
|
|
 
|
|
Представлению грамматики языков, нужен софт 
| Andrey1 |
|
|||
 Опытный  Профиль Группа: Участник Сообщений: 621 Регистрация: 27.2.2004 Где: Moscow Репутация: нет Всего: 5 |
Знает ли кто, что-нибудь о проектах по представлению грамматики языков в XML?
Как известно, языки программирования имеют грамматику (теория учит, что есть по крайней мере два типа грамматик БНФ и не БНФ). Вопрос, как описывать ее в XML и что с ней дальше делать. Мне бы, например, хотелось бы: 1) Представлять (pretty-printed) грамматики публикациях (tex, html или хотя бы в виде картинки); 2) Проверять эквивалентность грамматик. Как известно, один и тот же язык можно описать разными грамматиками; 3) Проверять, соответствует ли программа языку, с заданной грамматикой; 4) Трансформировать программу на языке, с заданной грамматикой G1 в программу, с заданной грамматикой G2 (указав правила трансформации). Есть ли такие проекты? С уважением, Андрей -------------------- Созерцание и мудрость - едины. Соцерцание - это основа мудрости, а мудрость - это функция (т.е. умение использовать) созерцания. из сутры помоста шестого патриарха Хуэйнена |
|||
|
||||
Дата 25.8.2004, 17:57 (
Загрузка ...
| Sardar |
|
|||
 Бегун Профиль Группа: Модератор Сообщений: 6986 Регистрация: 19.4.2002 Где: Нидерланды, Groni ngen Репутация: 1 Всего: 317 |
БНФ это не грамматика а способ нотации... по крайней мере мое мнение
Это по идее тоже будет только нотация... и не совсем удобная для человека. 1 - прикольно что формальные грамматики зачастую не читаемы  Диаграммы Вирта ясно выглядят(графические). А попробуй почитать контекстно зависимую грамматику, и с десяого раза не врубаешся как хоть что-нибудь можно придумать.3 - написать парсер заданной грамматикой 4 - формальные грамматики описывают только синтаксис, "смысловой перевод" это немного другое. Пример: Аисты плавают под землёй - правильное предложение с точки зрения грамамтики. -------------------- Опыт - сын ошибок трудных © А. С. Пушкин Процесс написания своего велосипеда повышает профессиональный уровень программиста. © Opik Оценить мои качества можно тут. |
|||
|
||||
| Andrey1 |
|
|||
|
Опытный Профиль Группа: Участник Сообщений: 621 Регистрация: 27.2.2004 Где: Moscow Репутация: нет Всего: 5 |
Тут еще спросил: http://sourceforge.net/mailarchive/forum.p...9&forum_id=1771
-------------------- Созерцание и мудрость - едины. Соцерцание - это основа мудрости, а мудрость - это функция (т.е. умение использовать) созерцания. из сутры помоста шестого патриарха Хуэйнена |
|||
|
||||
|
|
| Правила форума "Тестирование программ" | |
|
|
Правила должны соблюдаться всеми без исключения.
Для тех, кто создаёт темы: В данном разделе запрещается размещать программы, которые в той или иной степени могут принести вред потенциальному тестеру программы (например, трояны, вирусы и т.д.)
Для тех, кто тестирует: Описывая результаты тестирования программы, указывайте тип и версию ОС, а также характеристики компьютера и прочую информацию, которая может повлиять на работоспособность. Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, mr.Anderson. |
| 0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
| 0 Пользователей: | |
| « Предыдущая тема | Разное тестирование | Следующая тема » |
[ Время генерации скрипта: 0.0579 ] [ Использовано запросов: 22 ] [ GZIP включён ]
Реклама на сайте Информационное спонсорство
|
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |