Введение в теорию формальных систем

[minotawr]

Конспективное введение в математическую теорию формальных систем и грамматик - очень интересную и красивую теорию, которая будет интересна широкому кругу читателей (лингвистам, программистам, литературоведам, специалистам по моделированию, философам и др.). Основной упор сделан на сведении воедино ключевых определений, используемых разными авторами

Comments

[les_of_news]

Очень полезный пост. Будут читать внимательно. Меня интересуют новые подходы к генерации текстов. Заинтересовался теорией нелинейной литературы, после прочтения на Эврике текста Павича и статьи Купер. Хотя сама идея создания разветвлений, таких чтобу самому автору было интересно узнать, что могло бы выйти если ... приходит в голову.

[minotawr]

Новые подходы к генерации текстов - очень интересная тема. Хотя я предпочел бы говорить о генерации сюжетов, так как в большинстве случаев именно сюжет образует логический стержень текста.

Вас наверняка заинтересуют философские эссе робота Сергея Дацюка, которые он генерирует автоматически.

[les_of_news]

Да, конечно, о генерации сюжетов, она поддается формализации. Хотя тексты, в которых сюжет не "образует логический стержень текста", меня тоже интересуют. Тексты Сергея Дацюка в его "Культурных провокациях" я читал в конце 90-х. Иногда захожу туда. О "роботе Сергее Дацюке" знаю, но его текстов не читал. Сейчас буду смотреть.

[minotawr]

А с какими формализациями сюжета Вы знакомы?

[dark_knave]

Любопытно

[mitr]

>...то интерпретация I определяет отображение: I -> R, где R - множество объектов реального мира.

Вероятно, здесь опечатка, и надо "S -> R"

[minotawr]

Спасибо, исправил.

[hgr]

интересно.
у Проппа 31 "функция".
Долежел доказал (а впервые Греймас заметил), что там работают несколько модальных логик, числом совсем небольшим, и это число ни в каких сюжетах (не только волшебных сказок) не разрастается слишком сильно.
Долежел построил анализ сюжетов в четырех модальностях -- алетической, аксиологической, деонтической, эпистемологической (см. теперь особ. его монографию Lubomir Dolez^el, Heterocosmica (1998); но статьи публиковались еще в 70-е). потом В.П. Руднев (Прочь от реальности. 2000) добавил к ним пространство и время как модальности, но сделал это некорректно (а я постарался сделать корректно и вообще развить этот подход, но еще не опубликовал).

смысл моего замечания в том, что все-таки микроструктура сюжета (сюжетные ходы) подчиняются какому-то множеству модальных логик, число которых интуитивно представляется конечным (можно ли доказать его конечность -- для меня до сих пор неясный вопрос).

[minotawr]

Наверное, будет очень интересно познакомиться с Вашими идеями, когда Вы их опубликуете. Вообще очень интересная и перспективная тема.
Если не секрет, как Вы нашли мой журнал?

[hgr]

mitr ссылку прислала.

[djuuj]

аксиоматическая теория множеств является формальной системой?