Articolul precedent |
Articolul urmator |
524 0 |
SM ISO690:2012 ALHAZOV, Artiom, FREUND, Rudolf, IVANOV, Sergiu. Rule Forms in Rewriting Systems. In: Proceedings IMCS-55: The Fifth Conference of Mathematical Society of the Republic of Moldova, 28 septembrie - 1 octombrie 2019, Chișinău. Chișinău, Republica Moldova: "VALINEX" SRL, 2019, pp. 283-292. ISBN 978-9975-68-378-4. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Proceedings IMCS-55 2019 | |||||
Conferința "Conference of Mathematical Society of the Republic of Moldova" Chișinău, Moldova, 28 septembrie - 1 octombrie 2019 | |||||
|
|||||
Pag. 283-292 | |||||
|
|||||
Descarcă PDF | |||||
Rezumat | |||||
We discuss which sets of patterns for rules are sufficient for reaching computational completeness in various rewriting systems, for example, sequential generating grammars and accepting machines as Turing machines and circular Post machines; special attention is paid to the parallel model of membrane systems. |
|||||
Cuvinte-cheie theoretical computer science, rewriting systems, Membrane computing, normal form |
|||||
|