 |
 |
 |
 |
|
 |
 |
47
b := b + 1
b " = b' + 1 = 2
Запись присваиваний читается:
а := 0
- «переменной а присвоить значение 0»;
b := b + 1
- «переменной b присвоить значение b + 1».
Записи в колонке результатов читаются так:
а = 0
- «значение а равно 0»;
b' = b + 1
- «значение b' равно b + 1».
Здесь а и
b
- программные переменные - область машинной памяти, в которой хранятся
их значения а и b. В отличии от обычных математических переменных программные переменные
могут получать новые значения. В частности, присваивание b: = b + 1 записывает в программную
переменную b новое значение b', равное величине b + 1, где b - прежнее значение переменной b.
Для описания результатов выполнения алгоритмов и программ могут и должны использо-
ваться спецификации. Спецификации - это точные, математически строгие описания. Примерами
спецификаций могут служить сценарии диалоговых программ.
Сценарии диалоговых алгоритмов и программ - это совокупность текстов, картинок и со-
общений, появляющихся на экранах ЭВМ. Рассмотрим в качестве примера сценарий алгоритма
рисования домика на экране ЭВМ.
Сценарий «Домик»
Решение - следующие алгоритм и программа, результатом работы которых должен быть
приведенный выше рисунок:
Алгоритм
Программа
алг «Домик»
' Домик
нач
screen 2,0
линия (130,40)-( 100,100), красная
line (150,40)-(100,100),8
линия (130,40)-(200,100), красная
line (150,40)-(200,100),8
рамка(100,100)-(200,200), белая
line (100,100)-(200,200),15,b
рамка(130,120)-(170,160), синяя
line (130,120)-(170,160),3,b
кон
end
Однако результатом выполнения приведенных алгоритма и программы будет следующий
рисунок:
Экран ЭВМ