Closures in Formal Languages and Kuratowski's Theorem


A famous theorem of Kuratowski states that in a topological space, at most 14 distinct sets can be produced by repeatedly applying the operations of closure and complement to a given set. We re-examine this theorem in the setting of formal languages, where closure is either Kleene closure or positive closure. We classify languages according to the structure… (More)
DOI: 10.1007/978-3-642-02737-6_10

3 Figures and Tables


  • Presentations referencing similar topics