4194
правки
Glk (обсуждение | вклад) (Создана новая страница размером '''Схема с косвенной адресацией''' (''Scheme with indirect addressing'') - При рассмотрении ср...) |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Схема с косвенной адресацией''' (''Scheme with indirect addressing'') - | '''Схема с косвенной адресацией''' (''[[Scheme with indirect addressing]]'') - | ||
При рассмотрении среди переменных особых величин | При рассмотрении среди переменных особых величин - | ||
''указателей'', значениями которых являются имена других | ''указателей'', значениями которых являются имена других | ||
переменных (в частности, указателей), | переменных (в частности, указателей), - возникают две новые | ||
операции: ''именования'' (присваивания указателю имени | операции: ''именования'' (присваивания указателю имени | ||
переменной) и ''разыменования'' (выборки имени переменной как | переменной) и ''разыменования'' (выборки имени переменной как | ||
значения указателя). В соответствии с этим можно | значения указателя). В соответствии с этим можно | ||
рассматривать в ''схемах программ'' интерпретированные | рассматривать в ''[[схема программ|схемах программ]]'' интерпретированные | ||
операторы именования и разыменования, каждый из которых | операторы именования и разыменования, каждый из которых | ||
имеет одного преемника, один вход и один выход. | имеет одного преемника, один [[вход]] и один [[выход]]. | ||
Входы операторов именования и выходы операторов | Входы операторов именования и выходы операторов | ||
разыменования называются фиктивными. ''' | разыменования называются фиктивными. '''Схема с косвенной адресацией''' - это тройка | ||
<math>(G,J,R)</math>, в которой <math>G</math> | <math>(G,J,R)</math>, в которой <math>G</math> - ''[[управляющий граф]]'', <math>J</math> - | ||
''информационный граф'', дуги которого исходят из фиктивных | ''[[информационный граф]]'', [[дуга|дуги]] которого исходят из фиктивных | ||
выходов, а <math>R</math> | выходов, а <math>R</math> - ''[[раскраска]]'', ставящая в соответствие переменные тем | ||
операндам, которые не имеют инцидентных дуг в <math>J</math>. | операндам, которые не имеют [[инцидентность|инцидентных]] дуг в <math>J</math>. | ||
Основной вопрос в исследовании ''' | Основной вопрос в исследовании '''схемы с косвенной адресацией''' состоит в нахождении | ||
покрывающих множеств для аргументов и результатов операторов | покрывающих множеств для аргументов и результатов операторов | ||
и информационных связей схемы. | и информационных связей схемы. | ||
Другое название | Другое название - ''[[КА-Схема]]''. | ||
См. также ''Крупноблочная схема программ, Неинтерпретированные схемы, Стандартные схемы, Схема программ, Схема с распределенной памятью, Схемы Мартынюка.'' | ==См. также == | ||
''[[Крупноблочная схема программ]], [[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схема программ]], [[Схема с распределенной памятью]], [[Схемы Мартынюка]].'' | |||
==Литература== | ==Литература== | ||
[Касьянов/88] | [Касьянов/88] |