On the orbit of closure-involution operations - The case of formal languages

摘要

For a closure operation c and an involution i defined on a language family L. we define N-c,i(L)(L) as the number of languages which can be obtained from L by repeated applications of c and i. The orbit O-L(c, i) of c and i is defined as the set of all these numbers.