Abstract
AbstractFor a set A of Boolean functions, a closure operator c and an involution i, let $$\mathcal{N}_{c,i}(A)$$
N
c
,
i
(
A
)
be the number of sets which can be obtained from A by repeated applications of c and i. The orbit $$\mathcal{O}(c,i)$$
O
(
c
,
i
)
is defined as the set of all these numbers. We determine the orbits $$\mathcal{O}(S,i)$$
O
(
S
,
i
)
where S is the closure defined by superposition and i is the complement or the duality. For the negation $${{\,\mathrm{non}\,}}$$
non
, the orbit $$\mathcal{O}(S,{{\,\mathrm{non}\,}})$$
O
(
S
,
non
)
is almost determined. Especially, we show that the orbit in all these cases contains at most seven numbers. Moreover, we present some closure operators where the orbit with respect to duality and negation is arbitrarily large.
Funder
Otto-von-Guericke-Universität Magdeburg
Publisher
Springer Science and Business Media LLC
Subject
Geometry and Topology,Algebra and Number Theory
Reference9 articles.
1. Brzozowski, J., Grant, E., Shallit, J.: Closures in formal languages and Kuratowski’s theorem. In: Diekert, V., Nowotka, D.(eds.), Development of Languages, LNCS 5583, Springer-Verlag, pp. 125–144 (2009)
2. Charlier, É., Domaratzki, M., Harju, T., Shallit, J.: Finite orbits of language operations. In: Dediu, A.-H., Martin-Vide, C., Inemaga, Sh. (eds.): Languages and Automata, Theory and Application, LNCS 6638, Springer-Verlag, pp. 204–215 (2011)
3. Dassow, J.: On the orbit of closure-involution operations: the case of formal languages. Theoret. Comput. Sci. 777, 192–203 (2019)
4. Gardner, B.J., Jackson, M.: The Kuratowski closure-complement theorem. N. Zeal. J. Math. 38, 9–44 (2008)
5. Hammer, P.C.: Kuratowski’s closure theorem. Nieuw Archief v. Wiskunde 7, 74–80 (1960)