Oprava pseudokódu, složitost, korektnost