Basic formulas and languages: PART II.Applications to E0L systems and forms |
| |
Authors: | A Ehrenfeucht G Rozenberg R Verraedt |
| |
Institution: | Department of Computer Science, University of Colorado-Boulder, Boulder, CO 80309, USA;Institute of Applied Mathematics and Computer Science, University of Leiden, 2300 RA Leiden, The Netherlands;Department of Mathematics, University of Antwerp, U.I.A., B-2610 Wilrijk, Belgium |
| |
Abstract: | This paper (the second of two parts) settles the decidability status of several properties of derivations in E0L systems (forms). In particular we show that the so called “one-to-many simulation” among E0L forms is decidable, solving in this way an open problem from 6]. We use a more general mathematical framework, based on the theory of well-quasi orders, developed in Part I of this paper 2]. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|