|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Constantin Stefanov 2:5020/290.7 25 Apr 2002 18:20:26
To : Vovanius Uryvaeff
Subject : Re: Эквивалентность формул.
--------------------------------------------------------------------------------
В Четверг 25 Апреля 2002 г. 15:24, ты писал(а) мне:
VU> Хочу предупредить, что эквивалентность на си != эвивалентности
VU> математической
VU> например, сравни 3*5/4 и 3/4*5. первое даст 2, второе 0.
Моя система собирается анализироватоь программы на Си и ФОРТРАH'е.
Соттветственно и эквивалентность нужна в пределах этих языков. Хотя
математическая тоже не помешает.
Пока мне предложили только один алгоритм, и тот вероятностный. Хотелось бы
увидеть что-нибудь точное, если, конечно, есть.
Константин.
... Сидит ворона на заборе - казалось бы, пустяк.
--- GoldED/W32 3.0.1
* Origin: All Colours of Spectrum (2:5020/290.7)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
