Rule Forms in Rewriting Systems
Închide
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

Rule Forms in Rewriting Systems


Pag. 283-292

Alhazov Artiom, Freund Rudolf, Ivanov Sergiu
 
Vladimir Andrunachievici Institute of Mathematics and Computer Science
 
Disponibil în IBN: 29 noiembrie 2019


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