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 | ||||||
|
||||||
CZU: 004.451:004.237 | ||||||
Pag. 210-245 | ||||||
|
||||||
Descarcă PDF | ||||||
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. |
||||||
|