Adult Languages of Propagating Systems with Restricted Parallelism
暂无分享,去创建一个
abstract Various rewriting mechanisms can be thought of as functions mapping words w to nite sets of words W. The adult language of (; !) is the set of words w which are xed points of , i.e. (w) = fwg, and reachable from a start word or axiom !, i.e. w 2 n (!) for some n 2 N 0. Interestingly, for systems without the table mechanism, the degree of parallelism does not aaect the generative capacity when considering adult languages. On the other hand, considering systems with tables, the families of adult languages equal the corresponding families of languages with extensions. Furthermore, some open problems from 2,7,27 are attacked by using propagating ordered grammars. The proofs of the results mentioned in this paper appear elsewhere. 8
[1] Gheorghe Paun,et al. Regulated Rewriting in Formal Language Theory , 1989 .
[2] Grzegorz Rozenberg,et al. The mathematical theory of L systems , 1980 .
[3] Paul M. B. Vitányi,et al. Lindenmayer systems: structure, languages, and growth functions , 1978 .