TY - JOUR
T1 - Multiset Controlled Grammars
T2 - A Simple Method in Regulated Rewriting Theory
AU - Ashaari, Salbiah
AU - Turaev, Sherzod
AU - Tamrin, M. Izzuddin M.
AU - Okhunov, Abdurahim
AU - Zhukabayeva, Tamara
N1 - Funding Information:
This research has been supported by the grants RIGS16-368-0532 and FRGS13-074-0315 of Ministry of Education, Malaysia through International Islamic University Malaysia.
Publisher Copyright:
© 2017 Institute of Advanced Engineering and Science. All rights reserved.
PY - 2017/10
Y1 - 2017/10
N2 - Multisets are very powerful and yet simple control mechanisms in regulated rewriting systems. In this paper, we review back the main results on the generative power of multiset controlled grammars introduced in recent research. It was proven that multiset controlled grammars are at least as powerful as additive valence grammars and at most as powerful as matrix grammars. In this paper, we mainly investigate the closure properties of multiset controlled grammars. We show that the family of languages generated by multiset controlled grammars is closed under operations union, concatenation, kleene-star, homomorphism and mirror image.
AB - Multisets are very powerful and yet simple control mechanisms in regulated rewriting systems. In this paper, we review back the main results on the generative power of multiset controlled grammars introduced in recent research. It was proven that multiset controlled grammars are at least as powerful as additive valence grammars and at most as powerful as matrix grammars. In this paper, we mainly investigate the closure properties of multiset controlled grammars. We show that the family of languages generated by multiset controlled grammars is closed under operations union, concatenation, kleene-star, homomorphism and mirror image.
KW - Closure property
KW - Generative capacity
KW - Multiset
KW - Multiset controlled grammar
KW - Regulated grammar
UR - http://www.scopus.com/inward/record.url?scp=85037643408&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85037643408&partnerID=8YFLogxK
U2 - 10.11591/ijeecs.v8.i1.pp36-42
DO - 10.11591/ijeecs.v8.i1.pp36-42
M3 - Article
AN - SCOPUS:85037643408
SN - 2502-4752
VL - 8
SP - 36
EP - 42
JO - Indonesian Journal of Electrical Engineering and Computer Science
JF - Indonesian Journal of Electrical Engineering and Computer Science
IS - 1
ER -