Задания на курсовую работу по дисциплине

"Лингвистическое обеспечение САПР"


1. Язык множеств и его реализация.
Разработать язык  манипулирования  конечными  множествами [1], обеспечиваящий: Правила конструирования  имен  множеств  -  те  же,  что  и правила конструирования имен переменных в языке СИ.
Элементы множеств - самоопределенные термы, сконструированные из множества символов  распознаваемых  функцией  isalnum  из стандартной библиотеки языка СИ.

Реализовать переносимый  интерпретатор  языка  множеств, учитывая приведенные ниже требования.

2. Язык алгебры логики и его использование для решения задачи логической разрешимости.
Разработать язык алгебры логики [1], позволяющий:

При конструировании  имен функций и переменных использовать правила для аналогичных объектов языка СИ.

Реализовать  программу, решающую задачу разрешимости логического выражения, т.е. программу, отыскивающую значения  переменных  логического  выражения (функции), доставляющие этому выражению истинное значение. Требования к программной реализации приведены ниже.

3. Лингвистический процессор для символьного дифференцирования.
Разработать язык, который должен позволять:

При конструировании констант, имен функций и переменных за-
    имствовать правила для аналогичных объектов из языка СИ.

Разработать, учитывая приведенные ниже требования, программную реализацию лингвистического процессора.

4. Лингвистический процессор для численного интегрирования функций.
[Суханов РК6-73]
Разработать язык описания алгебраических выражений,  который должен обеспечивать:

В качестве прототипа языка следует использовать подмножество языка СИ.

Разработать, учитывая приведенные ниже требования,  лингвистический процессор, в которой должны быть реализованы 2 метода интегрирования.

5. [Собянин РК6-73] Транслятор nroff - html
Разработать транслятор документов в формате nroff в документы формата html.
Язык верстки текстовых документов nroff (и, соответственно, программа-верстатель nroff) широко используется в ОС UNIXдля представления документации на эту систему. Получить описание языка верстки nroff в любой версии ОС UNIX можно командой

man 5 man
Просмотреть образец размеченного директивами nroff документа мосжно командой
more /usr[/share]/man/man5/man.5
Язык html (hypertext markup language) является общепринятым языком верстки документов, предназначенных для просмотра через Internet.

Внимание. Данное задание обязательно должно быть реализовано средствами lex и yacc.
Примечание. Правильность работы транслятора будет проверяться сравнением облика результатов работы программы man и транслятора на реальных документах руководства ОС UNIX.

6. Верификатор описаний на языке VHDL
Разработать программу, осуществляющую проверку синтаксиса описаний на языке VHDL (Veryhighintegrated circiuts design language) цифровых устройств.
Неформальное описание языка VHDL дано в [2]. Описание языка VHDL также можно получить на дискете.
Примечание. Правильность работы верификатора будет проверяться путем сравнения с результатами работы реальной системы.

7. Транслятор VHDL - Пролог
Язык VHDL - язык описания цифр