Recent Developments on Insertion-Deletion Systems
Închide
Conţinutul numărului revistei
Articolul precedent
Articolul urmator
1006 4
Ultima descărcare din IBN:
2022-03-19 22:52
Căutarea după subiecte
similare conform CZU
004.451:004.237 (1)
Programe. Software (296)
Arhitectura calculatoarelor (11)
SM ISO690:2012
VERLAN, Sergey. Recent Developments on Insertion-Deletion Systems . In: Computer Science Journal of Moldova, 2010, nr. 2(53), pp. 210-245. ISSN 1561-4042.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Computer Science Journal of Moldova
Numărul 2(53) / 2010 / ISSN 1561-4042 /ISSNe 2587-4330

Recent Developments on Insertion-Deletion Systems
CZU: 004.451:004.237

Pag. 210-245

Verlan Sergey12
 
1 Institute of Mathematics and Computer Science ASM,
2 Université Paris-Est-Créteil
 
 
Disponibil în IBN: 2 decembrie 2013


Rezumat

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.

Cuvinte-cheie
insertion-deletion systems, computational completeness,

decidability, graph control, P systems.