idefinition of the verification problem; explanation of the alphabets