Original: A signature verifying algorithm which given a message, public key and a signature, either accepts or rejects.
Simplified: A signature verifying algorithm which given a message, public key and a signature, then decide either accepts or rejects.