Algebraic Programming System APS - презентация, доклад, проект скачать

Нажмите для полного просмотра!

Algebraic Programming System APS, слайд №1

Algebraic Programming System APS, слайд №2

Algebraic Programming System APS, слайд №3

Algebraic Programming System APS, слайд №4

Algebraic Programming System APS, слайд №5

Algebraic Programming System APS, слайд №6

Algebraic Programming System APS, слайд №7

Algebraic Programming System APS, слайд №8

Algebraic Programming System APS, слайд №9

Algebraic Programming System APS, слайд №10

Algebraic Programming System APS, слайд №11

Algebraic Programming System APS, слайд №12

Algebraic Programming System APS, слайд №13

Algebraic Programming System APS, слайд №14

Algebraic Programming System APS, слайд №15

Algebraic Programming System APS, слайд №16

Algebraic Programming System APS, слайд №17

Algebraic Programming System APS, слайд №18

Содержание ▲

Вы можете ознакомиться и скачать презентацию на тему Algebraic Programming System APS. Доклад-сообщение содержит 18 слайдов. Презентации для любого класса можно скачать бесплатно. Если материал и наш сайт презентаций Mypresentation Вам понравились – поделитесь им с друзьями с помощью социальных кнопок и добавьте в закладки в своем браузере.

Слайды и текст этой презентации

Слайд 1

Описание слайда:

ЛЕКЦИЯ №3 ALGEBRAIC PROGRAMMING SYSTEM APS доц. Песчаненко В.С. Херсонский государственный университет Кафедра информатики Научно-исследовательский институт информационных технологий Лаборатория по разработке и внедрению педагогических программных средств 2010

Слайд 2

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Области применения: прототипирование алгоритмов, верификация, доказательство программ, компьютерная алгебра, алгебра логики, конвертация данных, парсеры Если данные можно представить в виде дерева, и это дерево надо как-то преобразовывать – в этом случае точно можно использовать APS.

Слайд 3

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS WHAT ARE NEW? Язык FPL (Formula Processing Language) – позволяет использовать язык APLAN на C++. Интеграция с технологиями SmartPtr, GMP library. Реализация процедуры хеширования в алгоритме переписывания. Реализация функций добавления, удаления и обновления правил системы переписывающих правил (задача хеширования термов). Реализация недетерминированной стратегии переписывания.

Слайд 4

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Файловая структура: aps.exe intlib.dll intlib_can.tbl intlib_proc.tbl sublib.dll sublib_proc.tbl usrlib.dll usrlib_can.tbl usrlib_proc.tbl

Слайд 5

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS _proc.tbl (описание С++ процедур): 1 строка: 30 – количество записей в файле Оставшиеся строки имеют вид: v[V][S]… V – интерпретировать S – копировать Количество больших V,S – количество параметров процедуры Пример: let vVS let В языке APLAN C++ функцию let можно вызвать использовав имя let с двумя параметрами. Первый параметр интерпретируется, второй – копируется.

Слайд 6

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Определения: Канонизатор – С++ функция или система переписывающих правил которая строит каноническую форму. Отметка – тип данных APS, который определяется так: MARK ([,[,[,]]]) и.ф.з для арности 2 и.ф.з – инфиксная форма записи. 0 – дерево для одинаковых вершин – правосторонние, а 1 – левосторонние Пример: ADD (2, 54, "+" ). ADD(x,y)x+y

Слайд 7

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS _can.tbl (описание С++ канонизаторов отметок): 1 строка – количество записей в файле Оставшиеся строки имеют вид: Пример: ADD add add_can ADD – имя отметки, которое должно быть определено (std.ap: ADD(2,…)) add – имя введено специально для процедуры markcan (1 add 2) add_can – имя C++ функции

Слайд 8

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Основная структура данных – правосторонние дерево Типы данных APS: Имена, Отметки, Целые, вещественные числа, строки, Атомы Совет: Если написанная программа - не работает и Вы нашли место в котором ошибка – проверьте приоритеты операций

Слайд 9

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Имена: Могут быть глобальные или локальные. Доступны только с момента объявления. Локальные имена доступны только до конца файла в котором они объявлены Объявление глобальных имен: NAME [“[“”]”]; Объявление локальных имен: PRIVATE [“[“”]”];

Слайд 10

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Примеры: NAME T; NAME P[3]; P[1]:=P[3]; PRIVATE P;

Слайд 11

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Целые числа – GMP library Вещественные числа – GMP library, разделитель «.» Строки – как в С++ Скобки: [],{}. Атомы: Если это ни один из перечисленных выше типов, тогда это АТОМ. Явное объявление: АТОМ ; Локальные и формальные параметры процедур, считаются именами с областью видимости – тело процедуры. Если имена пересекаются с локальными или формальными параметрами процедуры, то из тела процедуры не будет доступа к глобальному имени.

Слайд 12

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS 1 столбик _proc.tbl – АТОМЫ Примеры: prn 1 2 => 1 2 prn(1 2) => 1 2 prn 1;2 => 1 prn(1;2) => 1;2 APPLMRK – отметка с наивысшим приоритетом в APS. Круглые скобочки в APS влияют на построение дерева, но в самом дереве они отсутствуют.

Слайд 13

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS 1 столбик _can.tbl – имена ОТМЕТОК prn 1+2 => 1 prn(1+2) =>3 can_tbl.tbl: ADD add add_can std.ap: ADD( 2, 54, "+")

Слайд 14

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Пример канонизатора на APLAN: INCLUDE INCLUDE MARK myADD(2,54,”+!”); NAME R; R:=rs(x,y)( x+!y=x+y ); task:= markcan(()+!(),R),prn (1+!2); Попробуйте сделать канонизатор для GCD

Слайд 15

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Файл std.ap: Определение основных отметок для выражений и операторов Определение точки входа в программу. Если не подключить std.ap, то канонизаторы отметок описанные в can_tbl.tbl работать не будут (Например + - будет атомом, а не инфиксной формой записи некой отметки). Минимальная программа APS: NAME task; task:=prn “Hello world”;

Слайд 16

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Файл gen_obj.ap – дополнительные определения отметок + compile. Правило интерпретации оператора APS: Вызов процедуры, описанной в proc_tbl.tbl Вызов канонизатора, если он установлен для верхней отметки дерева В противном случае APS вызывает систему переписывающих правил compile Если оператора нет и в compile – сообщение об ошибке и продолжение работы. Расширение языков возможностей APS проходит в compile Подключение gen_obj.ap существенно упрощает процесс разработки на APS

Слайд 17

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Стратегия – некая процедура, которая реализует некий обход дерева с применением системы переписывающих правил. Файл strat.ap –определения различных стратегий стратегий(некоторые из них в комментарии, т.к. перенесены на С++, можно их откомментировать – тогда они будут использоваться. Почему?) Процесс разработки на APS: Прототип на APLAN => анализ прототипа и его усовершенствование => реализация С++

Слайд 18

Описание слайда:

ALGEBRAIC PROGRAMMING SYSTEM APS Джентльменский набор файлов APS: aps.exe intlib.dll intlib_can.tbl intlib_proc.tbl sublib.dll sublib_proc.tbl usrlib.dll usrlib_can.tbl usrlib_proc.tbl std.ap gen_obj.ap strat.ap