Определимость в EMSO языков объектов с событийной структурой

В данной работе под объектами понимаются слова, бинарные деревья, двухмерные картинки над конечным алфавитом. Для каждого объекта определяется его событийная структура, построенная на основе событийных структур отдельных букв и однородных связей между событиями букв, стоящих в соседних позициях. Естественным образом определяется язык, состоящий из объектов с событийной структурой. Основным вопросом, исследуемым в работе, является проблема представимости в экзистенциональной логике одноместных предикатов второго порядка (EMSO) двух классов таких языков: языков объектов, обладающих циклической и, соответственно, ациклической структурой. Библ. – 5 назв.