Содержание
- 2. ALGEBRAIC PROGRAMMING SYSTEM APS Области применения: прототипирование алгоритмов, верификация, доказательство программ, компьютерная алгебра, алгебра логики, конвертация
- 3. ALGEBRAIC PROGRAMMING SYSTEM APS WHAT ARE NEW? Язык FPL (Formula Processing Language) – позволяет использовать язык
- 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 – количество записей в файле
- 6. ALGEBRAIC PROGRAMMING SYSTEM APS Определения: Канонизатор – С++ функция или система переписывающих правил которая строит каноническую
- 7. ALGEBRAIC PROGRAMMING SYSTEM APS _can.tbl (описание С++ канонизаторов отметок): 1 строка – количество записей в файле
- 8. ALGEBRAIC PROGRAMMING SYSTEM APS Основная структура данных – правосторонние дерево Типы данных APS: Имена, Отметки, Целые,
- 9. ALGEBRAIC PROGRAMMING SYSTEM APS Имена: Могут быть глобальные или локальные. Доступны только с момента объявления. Локальные
- 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
- 13. ALGEBRAIC PROGRAMMING SYSTEM APS 1 столбик _can.tbl – имена ОТМЕТОК prn 1+2 => 1 prn(1+2) =>3
- 14. ALGEBRAIC PROGRAMMING SYSTEM APS Пример канонизатора на APLAN: INCLUDE INCLUDE MARK myADD(2,54,”+!”); NAME R; R:=rs(x,y)( x+!y=x+y
- 15. ALGEBRAIC PROGRAMMING SYSTEM APS Файл std.ap: Определение основных отметок для выражений и операторов Определение точки входа
- 16. ALGEBRAIC PROGRAMMING SYSTEM APS Файл gen_obj.ap – дополнительные определения отметок + compile. Правило интерпретации оператора APS:
- 17. ALGEBRAIC PROGRAMMING SYSTEM APS Стратегия – некая процедура, которая реализует некий обход дерева с применением системы
- 19. Скачать презентацию