Correction to "Error-Correcting Parsers for Formal Languages"
Tanaka, King‐Sun Fu · IEEE Transactions on Computers · 1982
In our earlier paper1 we proposed an algorithm S for error-correcting parsing of formal languages. It is found recently that two additional CS conditions and a routine for detecting infinite loop are required for the algorithm S.