We establish a Canonical Form for the least full $R_Y$-AFL containing $Sub(K_1,K_2)$. From a well-known characterization of the families EOL and ETOL due to Ehrenfeucht & Rozenberg (1974, 1974a) we obtain Salomaa's (1973) result on the full Lindenmayer-AFL's $Sub(K,OL)$ and $Sub(K,TOL)$. The characterization of the hyper-algebraic extension in terms of the hyper-sentensial extension, established by Van Leeuwen & Wood (1976), also yields full Lindenmayer-AFL's in a similar way. For full hyper(1)-AFL's we prove a Canonical Form, and we conclude this note with a few remarks on canonical forms.
|Place of Publication||Enschede|
|Publisher||University of Twente, Department of Applied Mathematics|
|Number of pages||13|
|Publication status||Published - 1976|
- HMI-SLT: Speech and Language Technology