Showing 1–2 of 2 results for author: Subramanian, K G

Two-Dimensional Pattern Languages

Authors: Henning Fernau, Markus L. Schmid, K. G. Subramanian

Abstract: We introduce several classes of array languages obtained by generalising Angluin's pattern languages to the two-dimensional case. These classes of two-dimensional pattern languages are compared with respect to their expressive power and their closure properties are investigated. We introduce several classes of array languages obtained by generalising Angluin's pattern languages to the two-dimensional case. These classes of two-dimensional pattern languages are compared with respect to their expressive power and their closure properties are investigated. △ Less

Submitted 13 July, 2017; originally announced July 2017.

One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules

Authors: Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian

Abstract: We consider the (one-dimensional) array counterpart of contextual as well as insertion and deletion string grammars and consider the operations of array insertion and deletion in array grammars. First we show that the emptiness problem for P systems with (one-dimensional) insertion rules is undecidable. Then we show computational completeness of P systems using (one-dimensional) array insertion an… ▽ More We consider the (one-dimensional) array counterpart of contextual as well as insertion and deletion string grammars and consider the operations of array insertion and deletion in array grammars. First we show that the emptiness problem for P systems with (one-dimensional) insertion rules is undecidable. Then we show computational completeness of P systems using (one-dimensional) array insertion and deletion rules even of norm one only. The main result of the paper exhibits computational completeness of one-dimensional array grammars using array insertion and deletion rules of norm at most two. △ Less

Submitted 5 September, 2013; originally announced September 2013.

Comments: In Proceedings MCU 2013, arXiv:1309.1043

Journal ref: EPTCS 128, 2013, pp. 62-75