How to get rid of pseudoterminals

Abstract

We investigate the role of pseudoterminals of E0L forms. This leads us to the definition of m-interpretation which avoids the introduction of additional pseudoterminals via interpretation. We solve the problem of m-completeness for simple and short EP0L forms, thus establishing a normal form result for EP0L forms which can be viewed as an analogy to the Chomsky Normal Form for CF grammars. Finally, we consider the validity of some basic results on E0L forms under m-interpretation