×

Sequences of languages in forbidding-enforcing families. (English) Zbl 0992.68512

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.

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
Full Text: DOI