О свойствах языков, устойчивых относительно операций выпадения, вставки

В статье изучаются операции выпадения/вставки, продвижением которых занимался В. И. Левенштейн. Вводятся операторы замыкания относительно этих операций. Для оператора вставки доказывается существование, конечность и единственность базиса в замкнутых классах, а для оператора выпадения — несуществование для бесконечного класса и существование, конечность и единственность — для конечного. Исследуется автоматная сложность замкнутых классов. Решаются проблемы полноты, предполноты и выразимости.