Remarks on Propagating Partition-Limited ETOL Systems
Henning Fernau · TUGraz OPEN Library (Graz University of Technology) · 2020
In this paper, we sharpen the results of G artner on the universality of partition-limited ET0L systems by showing that such deterministic systems characterize the recursively enumerable sets, and, furthermore, the propagating deterministic partition-limited ET0L systems characterize the programmed languages with appearance checking disallowing erasing productions. The main results of this paper have been announced in [10].