4194
правки
Эквивалентность программ: различия между версиями
Материал из WEGA
нет описания правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Эквивалентность программ''' (''Program equivalence'') - существенная часть формализм...) |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 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> в | ||
качестве аргумента. | качестве аргумента. | ||
