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