Fair derivations in E0L systems. (English) Zbl 0573.68041
This paper deals with the concept of fairness with respect to E0L systems. Fairness of derivations in synchronized E0L systems (SE0L) is defined by generalizing the notion of fairness in context-free derivations. It is proved that all SE0L systems are fairly terminating. As a corollary it is shown that all context-free languages can be fairly generated. It is also shown that the union, catenation and \(+\)-closure of SE0L systems are also fairly terminating.
References:
| [1] | Francez, N., Draft copy of a book on Fairness (1983) |
| [2] | Grumberg, O.; Francez, N.; Makowsky, J. A.; De Roever, W. P., A proof rule for fair termination of guarded commands, (De Bakker, J. W.; Van Vliet, J. C., Proc. Internat. Symp. on Algorithmic Languages (1981), North-Holland: North-Holland Amsterdam) · Zbl 0577.68022 |
| [3] | Herman, G. T., Closure properties of some families of languages associated with biological systems, Information and Control, 24, 101-121 (1974) · Zbl 0275.68018 |
| [4] | Herman, G. T.; Rozenberg, G., Developmental Systems and Languages (1975), North-Holland: North-Holland Amsterdam · Zbl 0313.68068 |
| [5] | Porat, S.; Francez, N.; Moran, S.; Zaks, S., Fair derivations in context-free grammars, Information and Control, 55, 108-116 (1982) · Zbl 0535.68038 |
| [6] | Rajasethupathy, K. S.; Shyamasundar, R. K., A new parsing algorithm for E0L-systems, EIK, 18, 10/11, 543-564 (1982) · Zbl 0511.68056 |
| [7] | Rozenberg, G.; Salomaa, A., The Mathematical Theory of L-Systems (1980), Academic Press: Academic Press New York · Zbl 0365.68072 |
| [8] | Salomaa, A., Formal Languages (1973), Academic Press: Academic Press New York · Zbl 0262.68025 |
| [9] | Siromoney, R., On equal matrix languages, Information and Control, 14, 135-151 (1969) · Zbl 0169.31402 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
