Комплекс программ построения справочников по формальным языкам

  • Просмотров 1608
  • Скачиваний 223
  • Размер файла 44
    Кб

1. Введение. В настоящее время существует множество справочных систем, закрытого типа и недоступных для модификации. Разрабатываемый комплекс программ предназначен для преодоления указанного ограничения. 2. Основание для разработки. Приказ по институту N ___ от _______ 3. Назначение для разработки. Комплекс программ предназначен для того и должен быть построен таким образом, чтобы осуществлялось максимально удоб- ное построение

справочника, контроль правильности входных дан- ных и возможность получения документации по языку на основе единого представления информации о языке. 4. Требования к комплексу программ. 4.1. Требования к функциональным характеристикам. Комплекс программ должен обеспечивать: - ввод, контроль исходных данных, выдачу сообщений об ошибке; - преобразование информации; - вывод результатов; Входные данные: Текст описания на языке

описания грамматик (ЯОГ) содержит некоторую совокупность правил, описывающих некоторое понятие (нетерминал), ограниченных символом "точка с запятой". Текст записывается в свободном формате. Пробелы, не заклю- ченные в кавычки, апострофы и угловые скобки, игнорируются. Комментарии заключаются между парами символов /* и */. Имя нетерминала - произвольная последовательность букв, цифр, символов тире, подчеркивания, апостроф,

пробел. Имя не- терминала заключается в угловые скобки. В файле описания грам- матик, помимо синтаксиса проблемно-ориентированного языка (ПОЯ) в модифицированной форме Бэкуса-Наура (МРБНФ), представ- лена следующая дополнительная справочная информация, использу- ющаяся при формирования справочника: - неформальное описание (в частности синтаксиса и семанти- ки) разделов, соответствующих синтаксическим конструкциям; - тексты

примеров по отдельным разделам; - описание конструкций лексического уровня; - описание проблемных подмножеств; - описание дополнительных разделов. Выходные данные: Выходная информация представлена в виде промежуточного файла, который должен быть обработан специальным компилятором MakeHelp - фирмы TurboPower Software. Функциональных требований к временным и емкостным характе- ристикам не предъявляется. 4.2. Требования к надежности.