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

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

Пример:

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

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

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

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

    Выпала дискуссия про нормальные алгорифмы маркова. Как называется язык? Рефал. Он же прямо заточен на замены одних текстов другими (знаменательное имя -> определение)

    Язык называется Рефал (РЕФАЛ).

    Он действительно прямо вырос из нормальных алгорифмов Маркова и заточен на замены одних текстов другими.

    Рефал расшифровывается как REcursive Functions Algorithmic Language (рекурсивный алгоритмический язык функций). Его создал В.Ф. Турчин в 1968 году.

    Связь с алгорифмами Маркова прямая: в основе Рефала лежит модель вычислений, где программа представляет собой набор правил подстановки (замены), и вычисление идёт путём последовательного применения этих правил к выражению — ровно так же, как в нормальных алгорифмах Маркова. Сам Турчин развивал модель Маркова «в направлении структурирования элементов языка НАМ».

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

    Рефал — это фактически «нормальные алгорифмы Маркова, доведённые до языка программирования» с образцами, переменными и скобочной структурой.