Development systems with finite axiom sets
Grzegorz Rozenberg, K.P. Lee · International Journal of Computer Mathematics · 1974
In this paper the notion of a developmental system without interactions is generalized to include a finite number of axioms (rather than one). It is shown that whereas this generalization considerably increases the class of languages generated, the main properties of the larger class of languages are basically the same as those of the smaller class.