文章基本信息

标题：Recent Developments on Insertion-Deletion Systems
本地全文：下载
作者：Verlan Serghei
期刊名称：Computer Science Journal of Moldova
印刷版ISSN：1561-4042
出版年度：2010
卷号：18
期号：2
页码：210-245
出版社：Institute of Mathematics and Computer Science
摘要：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 definition 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 graph-control. The basic proof methods are presented and the proofs for the most important results are sketched.
关键词：insertion-deletion systems; computational completeness; decidability; graph control; P systems.