Мне нужна программа для работы с текстом. И алгоритм. И аппарат. И механизм (электровычислитель). Точнее программа по алгоритму для аппарата на механизме.

Пользователь
    │  хочет пользоваться
    ▼
Программа (GUI на Rust + Haskell)
    │  предоставляет возможность пользоваться
    │  ├── аппаратом (онтологией)
    │  └── алгоритмами
    │
    ▼ Си-ABI
    │
Модуль на Тривиле
    │  является набором алгоритмов
    │
    ▼
Аппарат (онтология, НОРМИН)
    │
    ▼
Электрознакообработчик (механизм)

Пример:

общество
цифровизация общества
тенденция
развитие
развитие <чего-либо>
тенденции развития
тенденции развития <чего-либо>
тенденции развития цифровизации общества
актуальное
современное
современные тенденции развития цифровизации общества

Современные тенденции развития цифровизации общества - это группа существительного (далее „группа”). Группа состоит из слов (представленных словоформами) и из групп существительных. В данном конкретном случае, главное слово “тенденция” (во множественном числе). То есть, нужен аппарат №1, для того, чтобы хранить слова, описывать словоизменительные парадигмы, позволять образовывать словоформы по их описанию, разбирать такие описания. Наиболее близок к такому вроде бы был проект aot.ru, но проблема в том, что мы не можем изучить его текст (не хватает мыслительной мощности и финансирования). Для того, чтобы описать алгоритмы (образования словоформ, разбора описания словоизменительных парадигм) будем использовать язык программирования Тривиль. Кроме этого нужен аппарат №2 для того, чтобы хранить группы существительных, описывать вопросы-связи между словами в группе. И аппарат №3 описывающий параметризацию (валентности) таких слов и групп. Аппаратам вместо номеров хорошо бы подобрать имена.

рефал-выражение сделать частью языка типа Тривиль

  • Вежливый_ЛисOPMРусский
    1·
    5 days ago

    То есть суть идеи Теньера:
    в принципе можно слова составлять вместе. Давайте каждому слову припишем арности. Всё. Потому что всё остальное (правила связей, правила согласований) уже выходят за эту идею.
    И это называется “огромный вклад”.
    «Он отказался от традиционного представления о предложении как о цепочке слов в пользу дерева зависимостей. До Теньера считалось, что главное в языке — порядок слов (синтаксис). Теньер показал, что важнее связи между ними. Если у слова нет обязательных партнёров, оно не может существовать в тексте самостоятельно (в большинстве случаев).»
    Но это же другое, разве дерева не было в теории санскрита (самого совершенного (формализованного) языка)? То есть идею дерева надо приписывать лингвисту Панини. «Идея иерархической структуры языка и грамматических связей уходит корнями к древнеиндийскому лингвисту Панини, который жил примерно в V–IV веках до нашей эры. Его труд «Аштадхьяи» (Восьмикнижие) — это, по сути, первая формализованная грамматика с чётко прописанными правилами синтаксиса.»

    Создал методику анализа и терминологию. Именно Теньер ввёл понятие валентности (valence) и разработал графический способ записи предложений («паукограммы»), которые стали основой современной структурной лингвистики. Методику применения валентностей к современным языкам и провёл популяризацию Теньер. Сделал акцент на обязательности связей. До него европейская грамматика часто рассматривала предложения как линейные последовательности слов. Теньер показал, что без заполнения обязательных валентностей предложение неполноценно или невозможно.