The main result of this paper is that a regular-based transformational grammar which meets the condition on recoverability of deletions and which uses filter and postcyclic transformations can generate any recursively enumerable language. From this follows immediately that context free or context sensitive based transformational grammars which meet the condition on recoverability of deletions and which use filter and postcyclic transformations can generate any recursively enumerable language. These problems are investigated with a view to their implications for the current framework of transformational theory of grammars of natural languages.
Read full abstract