Программа неверна, так как в конце её ставится оператор readln, для которого не указано, какую переменную нужно прочесть. Этот оператор можно опустить, так как наличие его в данном случае не имеет смысла — в заголовке секции объявления переменных данной программы отсутствуют какие-либо переменные помимо a и b. Также, за readln(y) следуют два символа \";\", заместо которых нужно оставить только один из них.