deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Categories:

Идея. Обратная задача для задачи формализации. Восстановление абстрактного описания.

Идея. Обратная задача для задачи формализации. Восстановление абстрактного описания.

Надо подумать над алгоритмом превращения низкоуровневых понятий/действий/моделей в термины/конструкции/модели высокоуровневого языка.

Обычно мы неформальные высокоуровневые описания стремимся сделать конструктивными.
Подумать над превращением графа компьютерных программ в машинных кодах в высокоуровневые описания.

ps. универсализация семантики и языка
https://deep-econom.livejournal.com/814135.html
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments