Синтез эффективных математических моделей дискретной обработки данных

А причём здесь Linux?

>А причём здесь Linux?

Собственно и правда. при чём?

>Собственно и правда. при чём?

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

Свяь с Linux видна при внимательном чтении. Предлагается использовать что-то похожее на генератор программ для синтаксического анализа типа YACC. Т.е. для каждого понятия-класса предлагается задавать не методы и свойства - как это делается в объектных языках, а формы выражения понятий в тексте - в виде правил (продукций) формальной грамматики некоторого языка. Этот язык потом используется для написания программ. Однако, в отличие от YACC, действия, связываемые с продукциями, описываются не на С-подобном языке, а на том языке, который создается. Сама продукция названа описанием синтаксиса понятия, а привязываемые действия - описанием семантики.

Правда, возникает закономерный вопрос, что появилось раньше: яйцо или курица? Как описать семантику первой продукции, если никакого языка еще не задано, и даже не описана эта первая продукция? Автор предлагает для разрешения этого вопроса использовать специальное подразумеваемое правило - аксиому. Аксиома позволяет привязать к продукции выполнение тех или иных действий, выраженных на языке некоторого интерпретатора (процессора, виртуальной машины, другой системы программирования).

В итоге получается своего рода супертехнология программирования, в которой для решения каждой задачи создается свой, присущий этой задаче язык, на котором, собственно, потом и описываются начальные условия задачи и приводится ее решение. Красиво. Мне нравится. Правда, для проработки такого языка надо потратить 99 процентов общего времени решения задачи.