Что можно обозначить таковой? Конструктивная грамматика не обязательна оптимальная, тем более атрибутивная да ещё с препозициями ... Есть концепция минимальной грамматики (Н. Хомский: от Декарта к глубинной грамматике, Языковые универсалии Хомского и минималистская парадигма, Нормальная форма Хомского). Теория оптимизации сконструирована для математических объектов, чисел и числовых функций. Математика, в принципе, базируется на регулярности. Математическая логика с её амбициями на предикации, ограничивает себя, атрибутируя предикации истинностью и ложью, интересуясь только композицией последних, игнорируя структуру предикаций. Объекты и процессы в информатике и кибернетике, а также их композиции, фактически, не верифицируются с точки зрения какой-либо грамматики. Ситуацию спасает то, что вычислительные процесс, сам по себе, является такой верификацией планирования и проектирования. Он по сути конструктивный. Но оптимизация остается открытым вопросом. И какие грамматики помогают нам в его решении? И существует ли это решение, вообще?
https://t.me/KODIFIKATION/15756
ОтветитьУдалить