Основные понятия алгоритмического формализма Поста – это

• область выпуклости;
• пространство распределений;
• пространство символов (язык L)
• симметрическое пространство;

К сожалению, у нас пока нет статистики ответов на данный вопрос.