Давайте проследим за выполнением программы по шагам:
1. `b := 1` - переменной `b` присваивается значение 1.
2. `a := 2` - переменной `a` присваивается значение 2.
3. `a := a * a` - переменной `a` присваивается значение $$2 * 2 = 4$$.
4. `b := a + b` - переменной `b` присваивается значение $$4 + 1 = 5$$.
5. `a := a * b` - переменной `a` присваивается значение $$4 * 5 = 20$$.
Таким образом, после выполнения программы `a = 20`, `b = 5`.
Ответ: в) a = 20, b = 5