Слайд 205.12.2000
М.Ю.Колодин. РИ-2000.
Об авторе
М.Ю.Колодин:
Научный сотрудник ИГИТО СПИИРАН
Основные интересы: мета-системы, XML, TeX
Адрес: myke@iias.spb.suАдрес: myke@iias.spb.su,
![05.12.2000 М.Ю.Колодин. РИ-2000. Об авторе М.Ю.Колодин: Научный сотрудник ИГИТО СПИИРАН Основные интересы:](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-1.jpg)
http://myke.da.ru
Слайд 305.12.2000
М.Ю.Колодин. РИ-2000.
Тема и метод
Область: обработка сложной информации в текстовой форме
Особенности: сложноструктурированный гипертекстовый
![05.12.2000 М.Ю.Колодин. РИ-2000. Тема и метод Область: обработка сложной информации в текстовой](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-2.jpg)
характер
Методы: внешняя и внутренняя обработка представлений на основе XML
Слайд 405.12.2000
М.Ю.Колодин. РИ-2000.
Два типа языков
Есть два способа представления информации в языковой форме:
а. конкретные
![05.12.2000 М.Ю.Колодин. РИ-2000. Два типа языков Есть два способа представления информации в](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-3.jpg)
языки (конечные, специализированные)
б. мета-языки (с порождением производных языков)
Слайд 505.12.2000
М.Ю.Колодин. РИ-2000.
Простые языки
Частные языки
Новые программы обработки для каждого языка
Доказательства (обоснования) для каждого
![05.12.2000 М.Ю.Колодин. РИ-2000. Простые языки Частные языки Новые программы обработки для каждого](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-4.jpg)
языка
Оптимизация
Ограниченность применения
Широкое использование
Слайд 605.12.2000
М.Ю.Колодин. РИ-2000.
Мета-языки
Описания семейства языков
Общие обработчики
Единая доказательная база
Многократность использования
Многообразие представлений
Адекватность предметной области
![05.12.2000 М.Ю.Колодин. РИ-2000. Мета-языки Описания семейства языков Общие обработчики Единая доказательная база](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-5.jpg)
Слайд 705.12.2000
М.Ю.Колодин. РИ-2000.
Примеры мета-языков
SGML, основной мета-язык
SGML-производные (DocBook, TEI, пр.)
XML, новый мета-язык
XML-производные (MathML, XLink,
![05.12.2000 М.Ю.Колодин. РИ-2000. Примеры мета-языков SGML, основной мета-язык SGML-производные (DocBook, TEI, пр.)](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-6.jpg)
XPointer, XSL, XSLT,..)
Слайд 805.12.2000
М.Ю.Колодин. РИ-2000.
Традиционные обработчики
Модели: SAX, DOM
Языки: C++, Java, Perl, Python, прочие
Внешний просмотр документа
![05.12.2000 М.Ю.Колодин. РИ-2000. Традиционные обработчики Модели: SAX, DOM Языки: C++, Java, Perl,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-7.jpg)
с преобразованием его в HTML, XML, пр.
Слайд 905.12.2000
М.Ю.Колодин. РИ-2000.
Новые методы
Внутренние (непосредственные) обработчики
Настройка инструментального средства (FORTH)
Многоуровневые представления
![05.12.2000 М.Ю.Колодин. РИ-2000. Новые методы Внутренние (непосредственные) обработчики Настройка инструментального средства (FORTH) Многоуровневые представления](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-8.jpg)
Слайд 1005.12.2000
М.Ю.Колодин. РИ-2000.
Инструментальные средства
FORTH: переопределение синтаксиса языка для включения целевого языка
Непосредственное исполнение текста
![05.12.2000 М.Ю.Колодин. РИ-2000. Инструментальные средства FORTH: переопределение синтаксиса языка для включения целевого](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-9.jpg)
на целевом языке в различных контекстах
Получение различных производных
Слайд 1105.12.2000
М.Ю.Колодин. РИ-2000.
Многоуровневые представления
Мета: «между», «над»
Описание систем
Многоуровневое (произвольно- уровневое) описание
Обобщение системного представления
![05.12.2000 М.Ю.Колодин. РИ-2000. Многоуровневые представления Мета: «между», «над» Описание систем Многоуровневое (произвольно-](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-10.jpg)
Слайд 1205.12.2000
М.Ю.Колодин. РИ-2000.
Результаты
Значительная польза для ТЕОРИИ (единый аппарат, формальная модель, систематизация, прочее)
Ощутимая ПРАКТИЧЕСКАЯ
![05.12.2000 М.Ю.Колодин. РИ-2000. Результаты Значительная польза для ТЕОРИИ (единый аппарат, формальная модель,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-11.jpg)
польза (эффективность, применимость, доступность, прочее)
Слайд 1305.12.2000
М.Ю.Колодин. РИ-2000.
Новые исследования
Сравнение с другими обработчиками (Java, C++, Perl, Python, пр.)
Обработка систем
![05.12.2000 М.Ю.Колодин. РИ-2000. Новые исследования Сравнение с другими обработчиками (Java, C++, Perl,](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-12.jpg)
сложноструктурированных текстов с ГТ-разметкой
Интернет-приложения
Развитие теории
Слайд 1405.12.2000
М.Ю.Колодин. РИ-2000.
Ссылки
Языки ГТ-разметки (SGML, XML, пр.): http://www.w3c.org;
Обработчики: Java (http://java.sun.comОбработчики: Java (http://java.sun.com), Perl
![05.12.2000 М.Ю.Колодин. РИ-2000. Ссылки Языки ГТ-разметки (SGML, XML, пр.): http://www.w3c.org; Обработчики: Java](/_ipx/f_webp&q_80&fit_contain&s_1440x1080/imagesDir/jpg/443356/slide-13.jpg)
(http://www.perl.com),
Мои материалы: http://myke.webjump.com