Аноним

Эквивалентность программ: различия между версиями

Материал из WEGA
нет описания правки
(Создана новая страница размером '''Эквивалентность программ''' (''Program equivalence'') - существенная часть формализм...)
 
Нет описания правки
Строка 1: Строка 1:
'''Эквивалентность программ''' (''Program equivalence'') -  
'''Эквивалентность программ''' (''[[Program equivalence]]'') -  
существенная часть формализма понятия программы.
существенная часть формализма понятия [[программа|программы]].
В том случае, когда программа реализует некоторую функцию
В том случае, когда программа реализует некоторую функцию
(а это, как правило, так), имеет место естественное и
(а это, как правило, так), имеет место естественное и
Строка 33: Строка 33:
программы.
программы.


''Информационный граф реализации программы''. Вершинами
''Информационный граф реализации программы''. [[Вершина|Вершинами]]
графа являются преобразователи. Вершина <math>S_1</math> соединяется с
[[граф|графа]] являются преобразователи. Вершина <math>S_1</math> соединяется с
вершиной <math>S_2</math>, если <math>S_2</math> использует результат <math>S_1</math> в
вершиной <math>S_2</math>, если <math>S_2</math> использует результат <math>S_1</math> в
качестве аргумента.
качестве аргумента.