ERROR-DETECTING PROPERTIES OF LANGUAGES