4183
правки
Схемы Янова: различия между версиями
Материал из WEGA
нет описания правки
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''Схемы Янова''' (''[[Yanov schemata]]'') | '''Схемы Янова''' (''[[Yanov schemata]]'') — | ||
''[[схема программ|схемы программ]]'', которые | ''[[схема программ|схемы программ]]'', которые | ||
были введены в литературу А.А.Ляпуновым и Ю.И.Яновым в 1958 г. | были введены в литературу А.А.Ляпуновым и Ю.И.Яновым в 1958 г. | ||
| Строка 9: | Строка 9: | ||
В отличие от ''[[схемы Мартынюка]]'' '''Схемы Янова''' | В отличие от ''[[схемы Мартынюка]]'' '''Схемы Янова''' | ||
содержит | содержит | ||
помимо одной переменной (скажем, <math>x</math>), имеющейся в схеме | помимо одной переменной (скажем, <math>\,x</math>), имеющейся в схеме | ||
Мартынюка, множество специальных логических переменных <math>p_1, | Мартынюка, множество специальных логических переменных <math>p_1, | ||
p_2,\ldots,p_k</math>, управляющих вычислениями, и состоит из | p_2,\ldots,p_k</math>, управляющих вычислениями, и состоит из | ||
| Строка 25: | Строка 25: | ||
Для '''Схем Янова''' проблема эквивалентности разрешима и построена | Для '''Схем Янова''' проблема эквивалентности разрешима и построена | ||
''полная система эквивалентных преобразований'' | ''полная система эквивалентных преобразований'' — система | ||
преобразований, сохраняющих эквивалентность, полная в том | преобразований, сохраняющих эквивалентность, полная в том | ||
смысле, что любую пару эквивалентных схем можно | смысле, что любую пару эквивалентных схем можно | ||
| Строка 32: | Строка 32: | ||
==См. также == | ==См. также == | ||
''[[Неинтерпретированные схемы]], [[Стандартные схемы]], [[Схемы Лаврова]], [[Схема программ]], | * ''[[Неинтерпретированные схемы]],'' | ||
[[Схема с косвенной адресацией]].'' | * ''[[Стандартные схемы]],'' | ||
* ''[[Схемы Лаврова]],'' | |||
* ''[[Схема программ]],'' | |||
* ''[[Схема с косвенной адресацией]].'' | |||
==Литература== | ==Литература== | ||
* Ершов А.П. Введение в теоретическое программирование. Беседы о методе. — М.: Наука, 1977. | |||
* Ершов А.П. Избранные труды. — Новосибирск: Наука. Сиб. отд-ние, 1994. | |||
