Regulated insertion-deletion systems

Abstract

International audienceInsertion and deletion operations appear in several areas of theoretical computer science, as well as in linguistics and DNA computing. In this paper, we investigate insertion and deletion within the regulated rewriting framework, i. e., the rule application is subject to additional constraints. We consider various regulation mechanisms already considered or not in the area of insertion-deletion systems. Beside recalling existing results, we present a series of new results related to the use of prescribed sequences, time-varying and cooperating distributed (CD) controls