A COMPUTER PROGRAM FOR DISCOVERING AND PROVING SEQUENTIAL RECOGNITION RULES FOR WELL-FORMED FORMULAS DEFINED BY A BACKUS NORMAL FORM GRAMMAR