Recent Developments on Insertion-Deletion Systems
This article gives an overview of the recent developments in the study of the operations of insertion and deletion. It presents the origin of these operations, their formal deflnition and a series of results concerning language properties, decidability and computational completeness of families of languages generated by insertion-deletion systems and their extensions with the graphcontrol. The basic proof methods are presented and the proofs for the most important results are sketched.