Консультация № 187181
21.02.2013, 21:40
347.35 руб.
0 5 2
Здравствуйте! У меня возникли сложности с таким вопросом:

1. Определите функцию последовательности 3 присваиваний:
1) X:= 5*Q+3*P; Q:= X-2*P; P:= -X+2*Q
2) X:= -5*P+3*Q; P:= X-2*Q; Q:= -X+2*P

2.Определите функцию последовательности 2 усл.операторов:
1) IF X>3 THEN X:=X+2*P ELSE IF P<-3 THEN P:=-X-2*P;
2) IF P>2 THEN P:=2*X-P ELSE X:=-2*X+P;

3) IF X<-2 THEN X:=-2*X+2*Q ELSE IF Q<3 THEN Q:=X-Q;
4) IF Q<-6 THEN Q:=-X+Q ELSE X:=2*X-3*Q;

помогите пожалуйста

Обсуждение

давно
Профессор
230118
3054
21.02.2013, 22:43
общий
Что под этим подразумевается "Определите функцию последовательности"
давно
Профессор
230118
3054
21.02.2013, 22:51
общий
это ответ
Здравствуйте, Иван Васильевич Митяев!

1) X:= 5*Q+3*P; Q:= X-2*P; P:= -X+2*Q
Пусть первоначально значениями переменных будут X0, Q0, P0
После первого присваивания значение X меняется: X1:=5*Q0+3*P0
После второго присваивания значение Q меняется: Q1:=X1-2*P0=5*Q0+3*P0-2*P0=5*Q0+P0
После третьего присваивания значение P меняется: P1:=-X1+2*Q1=-5*Q0-3*P0+2*(5*Q0+P0)=5*Q0-P0
Таким образом, функцию, реализуемую алгоритмом, можно представить как одновременное присваивание ( X, P, Q)=(5*Q0+3*P0,5*Q0+P0,5*Q0-P0)

2.Определите функцию последовательности 2 усл.операторов:
1) IF X>3 THEN X:=X+2*P ELSE IF P<-3 THEN P:=-X-2*P;
В данном алгоритме используется поле данных (X,P), начальное значение этого поля (X0,P0).
Для установления функции данного алгоритма требуется проследить все ветви его выполнения.
Для этого введем обозначение предикатов, описывающих условия ветвления:
S1(x)="X>3" S2(P)="P<-3"
а также обозначения операторов присваивания:
A1="X:=X+2*P"
A2="P:=-X-2*P"
Тогда можно записать схему алгоритма
IF S1 THEN A1 ELSE IF S2 THEN A2
В рассматриваемом примере имеется 2 пути выполнения
Выпишем программную функцию каждого пути:
{(X,P):S1(X) & X:=X0+2*P0
{(X,P):~S1(X) & S2(P) & P:=X0-2*P0
Неизвестный
21.02.2013, 23:09
общий
Адресаты:
эти задания посвящены анализу действия программ над данными. в 1 задании рассматривается верификация простой линейной программы, во 2 - программы с ветвлениями
в умк стр 56
Прикрепленные файлы:
72a7ccca1890a2bcfad82ebe0f2b6274.doc
давно
Мастер-Эксперт
27822
2370
23.02.2013, 07:35
общий
это ответ
Здравствуйте, Иван Васильевич Митяев!
Решение - в прикреплённом файле.
Прикрепленные файлы:
Неизвестный
23.02.2013, 13:13
общий
Спасибо огромное!
Форма ответа