Функции. программ перевода

Входные языки САПР и

Элементы теории формальных языков

Учебное пособие по дисциплинам «Лингвистическое и программное обеспечение САПР» и «Математическая логика и теория алгоритмов» специальности «Системы автоматизированного проектирования»

Федеральное агентство по образованию

Государственное образовательное учреждение
высшего профессионального образования
«Ковровская государственная технологическая академия

Имени В. А. Дегтярева»

Рогов В.П.

Входные языки САПР и

Элементы теории формальных языков

Учебное пособие по дисциплинам «Лингвистическое и программное обеспечение САПР» и «Математическая логика и теория алгоритмов» специальности «Системы автоматизированного проектирования»

Ковров 2011

УДК

Рогов В.П. Входные языки САПР и элементы теории формальных языков – Ковров: КГТА, 2011. - с.

Учебное пособие предназначено для самостоятельной работы студентов (подготовка к лекциям, курсовому проекту и госэкзамену) по дисциплинам «Лингвистическое и программное обеспечение САПР» и «Математическая логика и теория алгоритмов» студентами специальности «Системы автоматизированного проектирования» очной и заочной форм обучения и бакалаврами по профилю «Системы автоматизированного проектирования направления «Информатика и вычислительная техника» очной и очно-заочной форм обучения. В нем изложен теоретический материал и приведены примеры упражнений выносимых на экзамен.

Табл.. Ил..Библиогр.: назв.

Рецензент: д.т.н., профессор,

Печатается по решению редакционно-издательского совета КГТА.

ГОУ ВПО КГТА, 2011

Предисловие

В методическом пособии кратко изложены основные понятия, связанные с входными языками САПР и теорией формальных языков. Для сокращения объема информации и упрощения изложения теоремы и леммы приводятся без доказательств. Для закрепления основных понятий теории в конце разделов приводятся упражнения.

Языки формулировки задания

Функции. программ перевода.

Программы перевода из исходных текстов порождают результирующие тексты.

Работа таких программ осуществляется в два этапа:

· анализ исходного текста, т.е. проверка того, является ли данный текст допустимым на языке формулировки задания и допустимо ли описываемое им задание;

· синтез результирующего текста, т.е. построение сценария, описывающего процесс решения определенного исходным текстом задания.

Анализ исходного текста включает в себя:

· лексический анализ;

· синтаксический анализ;

· контекстный анализ.

Лексический анализ служит для выделения лексем.

Лексема – минимальное несущее смысл объединение знаков.

Примерами лексем могут служить идентификатор, число, разделитель и др.

Во время лексического анализа лексемы заменяются кодами, что делает исходный текст короче.

Синтаксический анализ – это исследование структуры сжатого исходного текста.

В качестве результата получается структурное дерево (синтаксическое дерево), которое описывает иерархию образования синтаксических единиц из лексем.

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

Синтез результирующего текста включает в себя:

· порождение сценария на основе полученной синтаксической структуры исходного текста и базы сцен;

· оптимизация сценария в отношении запроса ресурсов, включающих сценарий средств для протоколирования и обработки аварийных ситуаций.

Рис. 1.Принципиальная схема перевода

1.1.1. Общие требования к языкам формулировки задания.

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

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

3. Допускаемая в разумных пределах избыточность (однозначное применение ключевых слов и разделителей и однозначное завершение синтаксических единиц) должна обеспечивать достаточную степень возможности обнаружения и обработки ошибок.

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