© 1988 by British Computer Society
Closure Properties of Certain Classes of Languages under Generalized Morphic Replication
1 Computer Science Department, The Wichita State University, Wichita, KS 67208, U.S.A.
2 Computer Science Department, University of Nebraska, Lincoln, Nebraska 68588, U.S.A.
Received 1 September 1985; revised 1 February 1987
In this paper a new language operator, a generalized morphic replication, is introduced. Let
be a finite set of morphisms and reversal morphisms from
* into
*, and
be in
*. A morphic replicator is defined as follows: for each x in
* define
(x) to be h1(x) ... hm(x), where |
| = m and
= h1 ... hm. A generalized morphic replication extends
to languages by
(L) = {
(x): x is in L} and to sets W of morphic replicators, where W
*, W(x) = {
(x):
is in W} and W(L) = UW(x), where the union is taken over all x in L.
It is shown that the class of languages accepted in real time by a non-deterministic reversal-bounded multitape Turing machine, the class of NP, and the class of the recursively enumerable sets, are all closed under the generalized morphic replication when the morphisms and the reversal morphisms are, respectively, linear-erasing, polynomial-erasing, and arbitrary.