ПОСТРОЕНИЕ ОСЛАБЛЕННОГО LALR-ТРАНСЛЯТОРА НА ОСНОВЕ АНАЛИЗА ГРАММАТИКИ НА ИЗБЫТОЧНОСТЬ

Данная статья посвящена задаче автоматического по- строения LALR-транслятора с функцией исправления ошибок определенного типа. Был выбран специальный класс ошибок, связанных, как правило, с отсутствием в тексте транслируемой программы обязательных ключевых слов, пропущенные вхождения которых тем не менее могут быть однозначно вычислены автоматически. Актуальность именно такого ограничения на класс обрабатываемых ошибок связана со спецификой реализации трансляторов в задачах реинжиниринга программного обеспечения: устаревшие компиляторы зачастую разрешали пропускать «очевидные», в определенном смысле слова, ключевые слова. Таким образом, большие объемы актуальных текстов программ, корректные с точки зрения пользователя и некорректные с точки зрения спецификации соответствующих языков, не могут быть обработаны средством автоматизированного реинжиниринга.