Реферат Теоретичне дослідження моделей програми, вирішальної задану задачу

align="justify"> i: = dec (i);

: goto m;

16: output max;

: end.

ССП в графовой формі

Інтерпретація

1. Змінні:

mas - масив, містить матрицю цілочисельних елементів.

N - розмірність матриці. Цілочисельна змінна. p align="justify"> i, j - лічильники циклів. Цілочисельні змінні. p align="justify"> sum1, sum2, ms - змінні для знаходження суми елементів

max - змінна, що містить максимальну суму.

2. Константи:

c = N-1; = 0; = N;

3. Предикати:

S (x, y) - if x> y => T;

4. Функції:

inc (x) - x + +; (x, y) - if x> = y return x; else return y; = 3;

Mas = {1, 2, 3,

, 5, 6,

, 8, 9}; Протокол

Меткаijsum1sum2msmax12 ---- 022-

Інваріанти та обмеження циклів

Алгоритм розв'язання задачі :: = A [n-1, 0];: =-n +1; i В® : = 0; 1-i> 0 В® j: = 1-i P 1-i ВЈ 0 В® j: = 1 fi; i + j ВЈ m and j ВЈ n В® sum: = sum + A [j-1, i + j-1]; j: = j +1 Odmax В® max: = sum fi: = i +1

Od

Інваріант і що обмежує функція для внутрішнього циклу:

n - кількість рядків в матриці;

m - кількість стовпців в матриці;

P: " j, i:-n +1 ВЈ i ВЈ j ВЈ m-ij

$ sum: su...