Bidang pengkomputeran membran dimulakan sekitar tahun 2000, berinspirasikan
struktur dan fungsi sel-sel hidup. Model teori pengkomputeran membran ini dipanggil
sistem P dan variannya dan penggunaan model ini dalam pelbagai masalah telah
disiasat secara intensif sejak itu. Sistem P tatasusunan menghubungkan tatabahasa
tatasusunan bahasa formal dengan sistem P. Dalam teori bahasa formal, salah satu kajian
utama adalah terhadap keupayaan tatabahasa untuk menjana bahasa, yang disebut
sebagai keupayaan generatif, yang bergantung kepada jenis-jenis peraturan yang digunakan.
Kami menyiasat keupayaan generatif sistem P tatasusunan dengan memperkenalkan
dalam peraturan sistem ciri-ciri benar, tatabahasa dengan penulisan semula selari
dan kaedah mengumpul peraturan. Di sini dengan mengaitkan simbol benar dalam
kaedah sistem P tatasusunan, kami memperkenalkan varian baru, yang dinamakan sebagai
sistem P tatasusunan dengan ciri-ciri benar. Kami membuktikan bahawa jumlah
membran yang digunakan dalam pembinaan itu dapat dikurangkan berbanding sistem
P tatasusunan. Kami menggabungkan penulisan semula selari dalam sistem P rentetan
di dalam sistem P tatasusuan, dengan itu memperkenalkan satu lagi varian baru dalam
sistem P tatasusunan dan dinamakan sebagai sistem P tatasusunan selari.
Inspired by the structure and functioning of the living cells, the field of membrane
computing was initiated around the year 2000. Since then the theoretical model introduced
in this area, called P system has been intensively investigated for properties and
applications. One such P system known as array-rewriting P systems provides a link
between two dimensional formal language theory and membrane computing. In formal
language theory, one of the main studies is on the language generating capability of the
grammars, referred to as the generative capacity, which depends on the types of rules.
Also a standard technique to increase the generative capacity is to endow the rules with
additional features. Here the array-rewriting P system is investigated by endowing the
grammatical rules of the system with three such features, namely, permitting symbols,
parallel rewriting and grouping of rules. Thus this thesis introduces and develops three
such variants of the array-rewriting P system and brings out their advantages
