Language operators related to INIT

Abstract: The language operator Init(L)={x: there is a y, such that xy\in L} is well-known. Replacing "there is a y,..." by "there are infinitely many y,..." a new operator Anf(L)={x: there are infinitely many y, such that xy\in L} is obtained. Furthermore, there are language operators, for which definitions structually similar to those of Init and Anf can be given.

(15 pages),,

This paper is not available on this server.

[List of Papers]