Ehrenfeucht, A.; Hoogeboom, H. J.; Rozenberg, G.; van Vugt, N. Sequences of languages in forbidding-enforcing families. (English) Zbl 0992.68512 Soft Comput. 5, No. 2, 121-125 (2001). Summary: Forbidding-enforcing systems were introduced as a model of molecular processes, with DNA computing as one of the intended application areas. A number of results concerning fe systems deal with the fact that for an infinite ascending sequence of languages satisfying certain properties, their union satisfies the same, or closely related, properties. We generalize these results, mainly by lifting them to converging (in the topological sense) sequences of languages. Furthermore, we discuss in detail the importance of (sequences of) finite languages in forbidding and enforcing families. Cited in 5 Documents MSC: 68Q45 Formal languages and automata 68Q05 Models of computation (Turing machines, etc.) (MSC2010) 68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Soft Comput. 5, No. 2, 121--125 (2001; Zbl 0992.68512) Full Text: DOI