15 октября в 11:00 в каб. 239 состоится очередное заседание Методологического семинара ИСИ СО РАН.
Докладчик: д.ф.-м.н. Александр Ефимович Гутман, Институт математики им. С.Л. Соболева
Тема доклада: «Объектно-ориентированные данные как префиксные переписывающие системы»
Излагается подход к представлению и анализу объектно-ориентированных данных посредством детерминированных переписывающих систем — таких систем, в которых нет правил вида X→Y и X→Z с разными Y и Z и, кроме того, переписыванию подлежат только самые длинные префиксы слов. Посредством таких систем определяются и исследуются аналоги основных понятий, связанных с объектно-ориентированными системами данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и согласованность, концептуальные схемы, типы и подтипы и др. Это уже довольно развитая теория (включающая десятки теорем и алгоритмов), но очень молодая, нуждающаяся в развитии и предлагающая естественные открытые вопросы.
Ссылка на трансляцию: https://meet.google.com/xkv-bcyn-omp