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)

helmut@gauss.cam.wits.ac.za, Friedrich.Urbanek@tuwien.ac.at,

This paper is not available on this server.


[List of Papers]