. . . . "Error correction for formal languages" . . .