Автор Тема: Алгоритм унификации формул  (Прочитано 2886 раз)

0 Пользователей и 1 Гость просматривают эту тему.

Оффлайн Trush

  • Коллежский регистратор
  • *
  • Сообщений: 2
  • Репутация: 0
Алгоритм унификации формул
« : ДХТаРЫм 20, 2009, 10:52:08 pm »
Помогите пожалуйста, не знаю даже с чего начать
Нужно сделать программу для унификации формул и поиск общего унификатора.
Может кто то знает где информация есть по этому алгоритму и исходник тоже не помешал бы желательно на языке С(конечно это я много прошу ну вдруг у кого то есть), или хотябы объяснить как его реализовать. :)

Оффлайн Адамантэус

  • Коллежский советник
  • *****
  • Сообщений: 725
  • Репутация: 24
  • Пол: Мужской
  • Телезритель
Re: Алгоритм унификации формул
« Ответ #1 : јРав 16, 2009, 10:34:04 am »
 Теория находится в разделе "Оптимизация графа операций". У нас данный раздел развит крайне слабо и я сомневаюсь что можно найти даже просто алгоритм его постороения, используется в основном в алгоритмах оптимизации компиляторов.

Оффлайн Harmodian

  • Коллежский регистратор
  • *
  • Сообщений: 19
  • Репутация: 0
Re: Алгоритм унификации формул
« Ответ #2 : °ЯаХЫм 21, 2009, 03:56:22 pm »
Видел на каком-то фтп. Но не на С.