Добрый день, уважаемые эксперты. Будьте добры, помогите решить задачки по теории программирования.
Если какой символ забыл или не отобразил пишите, поясню.
Проверить соответствие программы спецификации
1)
{a=4 V b=2}
if
a=2 -> b:=a
b=2 -> a:=b
fi
{a=b}

2)
{n [$8805$]1}
i,b[0]:=1,7;
{P: ([$8704$] k:0[$8804$]k<i:b[k]=7) [$8743$] 0[$8804$] i [$8804$]n}
{t: n-i}
do
i[$8800$]n[$8743$]b[i]=7 -> i:=i+1
i[$8800$]n[$8743$]b[i][$8800$]7 -> i,b[i]:=i+1,7
od
{R: [$8704$]k:0[$8804$]k<n:b[k]=7}