Разработка системного программного обеспечения реферат по информатике , Сочинения из Информатика

Скачай Разработка системного программного обеспечения реферат по информатике и еще Сочинения в формате PDF Информатика только на Docsity! Введение Разработка системного программного обеспечения -это прямая задача системного программиста. Более того разработка не есть конечный пункт его деятельности. Совершенное владение этим инструментом -вот главная задача. Системное программирование является одной и наиболее широкой областью программного обеспечения. Главным преймуществом его является непосредственная гибкость и направленность на достижение определённой задачи. Логика и формальность -ключ к системному программированию. В данной работе рассмотрен пример реализации языка при помощи популярного языка высокого уровня С++. Поэтому сам продукт разработки автоматически относится к типу «компиляторов». В отличии от интерпретаторов и ассемблеров данный вариант может быть доступен для понимания широкому кругу программистов на что и был рассчитан. В работе рассмотрен пример, входным языком которого является язык Си. Интересным моментом здесь является развитие языка при помощи самого себя. Т.е. фактически имея определённый набор команд или функции можно не только сконструировать но и расширить свой собственный язык. Другое дело будет ли он полезен и однозначен? Разработанный язык в данной программе по классификации Хомского относится к автоматной грамматике, т.к. последнее звено декомпозиции удовлетворят правилу построении такого рода грамматик. Замечание: пункт 6, 7, 8 не являются правилами вывода, а лишь служат для отражения семантической и синтаксической стороны грамматики. Для наглядного изображения работы программы представлено дерево функционального вызова (рис 1). На нём можно проследить принцип рекурсивного спуска -основной принцип, заложенный в обработку. Он заключается в прохождении дерева от крайней левой до крайней правой вершины дерева. Кроме того, для людей с инженерным складом ума, привыкшим рассматривать системы на уровне черного ящика, предложена схемная реализация программы. Она выполнена в виде отдельных функциональных блоков, черных ящиков, в которых идет обработка текущего терминального символа. Рис 1. Функциональное дерево вызова. Элементы И и ИЛИ определяют выборочность при вызове функции. Т.е. в случае элемента И выполнится как первая так и вторая функция. Для элемента ИЛИ вызов функции определяется однозначно. TREATM ENT & & & & & & TYPE BRACKE T TERM SIGN TERM BRACKET FUNC TZ 1 1 & DIGIT IDENT DIGIT IDENT TERM BRACKET Расшифровка: TYPE - функция TYPE(«набор терминальных символов»). В данном случае представляется TYPE(«if»). Сканирует соответствующие терминальные символы и выдаёт сообщение об < Терм > F 0E 0 O | «Целое»{ «Целое» } | «Идентификатор»{ О } < Функция > F 0E 0 O< Скобки > | О{ О }< Скобки > < Операнд > F 0E 0 «Целое» | «Идентификатор» < Целое > = { 0, 1, 2, 3, ... , 9 } < Идентификатор > F 0E 0 { a, b, c, d, ... , z; A, B, C, ... ,Z } < Скобки > F 0E 0 { ( , ) } } < Оператор > < УВ > < УВ > T T < Функция > O O O { O } ид ид { ид } ИД ИД ИД ИД IF ( A < B ) B U L L () ; В программе данные функции размещены в соответствии с входным языком G < Оператор>. В случае смены входного языка требуется всего на всего заменить очередность вызова функций. Например в пределах заданного базиса можно сконструировать грамматику G < Инструкция >. G < Инструкция > F 0E 0 PRINT ( < УВ > ) ( < УВ > ) < Функция >; ( Дальнейшая конструкция языка идентична языку G < Оператор > ). Сконструируем дерево вызова следующим образом: TREATMENT F 0E 0 TYPE(«print») F 0E 0 BRACKET(1) F 0E 0 TERM() F 0E 0 SIGN() F 0E 0 TERM() F 0E 0 BRACKET(2) F 0E 0 BRACKET(1) F 0E 0 TERM() F 0E 0 SIGN() F 0E 0 TERM() F 0E 0 BRACKET(2) F 0E 0 FUNC() F 0E 0 TZ() Таким образом можно порождать необходимые языковые конструкции. На данном этапе имеются уже два оператора IF и PRINT. Можно продолжать дальнейшее наращивание входного словаря операторов, таким образом расширяя сам свой собственный язык. Язык G < Оператор > выполнен со значительными усечениями поэтому не претендует на роль идеального базиса. Например обязателен вызов функции после круглой скобки, хотя реально это только мизерная часть возможных операций. Автор данной работы не ставил перед собой задачу сконструировать более менее приемлимый язык. Главная цель -это отразить понимание принципа построения грамматик и выработки языка. Несколько слов о самой программе. Программа выполнена, как я уже упомянал, на языке Си, с элементами Си++. После запуска программы непосредственно сразу последует запрос на анализ синтаксиса. Словом в верхней части экрана необходимо ввести строку и нажать клавишу «ENTER». В зависимости от набора символов в нижнем окне появятся соответствующие сообщения: Об ошибках -в случае несоответствия входного и текущего языков «Успех!!!» -в противном случае Имеется возможность использования ключевых слов: «help» -выводит на экран окно помощи «helpme» -выводит на экран авторское окно «exit» -выход из программы Приведена распечатка самой программы, с подробными коментариями к ней. Уточню, что это не полная выкладка. Функции работы с окнами за ненадобностью упущены автором. Постановка задачи Пользуясь базовым языком высокого уровня Си ++ разработать и реализовать синтаксический анализатор условного оператора IF ELSE языка Си. Порядок выполнения: Построение формального языка L В основе построения L заложены основные принципы языка, указанного в задании. Все допущения, усечения должны быть обоснованы и предварительно согласованы с учителем. 2. Подбор грамматики G[Z] по языку L Построенный формальный язык L, подвергается декомпозиции, в процессе которой выявляются лексические составляющие - идентификаторы, константы и др. терминальные символы. 3. Классификация G[Z] Для гарантии однозначности и безвозвратности разработанного языкового процессора выбранный язык отнести согласно класси- фикации формальных грамматик, предложенных Хомским. 4. Выбор метода анализа Проанализировать и выбрать наиболее подходящий анализ входного языка. 5. Диагностика и нейтрализация ошибок Разработать алгоритм диагностики и нейтрализации ошибок. 6. Тестирование на программы на символьных цепочках Протестировать разработанный языковой процессор на конкретных символьных цепочках. 7. Листинг В конце отчета поместить распечатку программы с подробными коментариями. Построение формального языка L < Оператор > F 0E 0 IF ( < УслВыр > ) < Функция >; < УслВыр > F 0E 0 T | T < T | T > T | T = T < Операнд > F 0E 0 «Идентификатор» | «ЦБЗ» < Функция > F 0E 0 < Идентификатор > (< Список параметров >); < Список параметров > F 0E 0 < Параметр > | F 05 7 < Параметр > F 0E 0 «Идентификатор» | «ЦБЗ» | F 05 7 < Идентификатор > F 0E 0 Б { Б | ЦБЗ } Сделаем замену нетерминальных символов: < Оператор > F 0E 0 Z < УслВыр > F 0E 0 A < Терм > F 0E 0 B < Функция > F 0E 0 C < Список параметров > F 0E 0 D < Параметр > F 0E 0 E < Идентификатор > F 0E 0 F Сделаем замену терминальных символов: IF F 0E 0 a ( F 0E 0 b ) F 0E 0 c ; F 0E 0 d ELSE F 0E 0 e ЦБЗ F 0E 0 f Б F 0E 0 g F 0 5 7 F 0E 0 h Z F 0E 0 abAcC [ eC ] A F 0E 0 B | B < B | B > B | B = B B F 0E 0 F | f C F 0E 0 FbDcd D F 0E 0 E | h E F 0E 0 F | f | h F F 0E 0 g { g | f } Вывод : G[Z] - автоматная грамматика. Выбор метода анализа Ссылаясь на однозначность выбранной грамматики, принимая во внимание хорошо разработанные системы анализа выбираем метод рекурсивного спуска – как базовый метод языкового процессора. Диагностика и нейтрализация ошибок Разработанный алгоритм относится к общеизвестному методу синтаксического разбора, предложенный Айресом. Основная идея метода состоит в том, что по контексту без возврата отбрасываюся те символы, которые привели в тупиковую ситуацию и разбор продолжается. Для наглядности изобразим куст синтаксического разбора для входного языка: Дано: IF ( A < Bc ) BULL () ; Z F 0E 0 abAcC [ eC ] A F 0E 0 B | B < B | B > B | B = B B F 0E 0 F | f C F 0E 0 FbDcd D F 0E 0 E | h E F 0E 0 F | f | h F F 0E 0 g { g | f } Z a b A c C B B F b c d F F g { g } g g {g} g g g g IF ( A < Bc ) BULL ( ) ; Тестирование на цепочках Протестируем данную программу на следующей языковой цепочке: IF ( A < B ) BULL ( ); < Оператор > a b < УслВыражение > c < Функция >