Generalized eilenberg theorem I: local varieties of languages

J Adámek, S Milius, RSR Myers, H Urbat - … FOSSACS 2014, Held as Part of …, 2014 - Springer
J Adámek, S Milius, RSR Myers, H Urbat
Foundations of Software Science and Computation Structures: 17th International …, 2014Springer
We investigate the duality between algebraic and coalgebraic recognition of languages to
derive a generalization of the local version of Eilenberg's theorem. This theorem states that
the lattice of all boolean algebras of regular languages over an alphabet Σ closed under
derivatives is isomorphic to the lattice of all pseudovarieties of Σ-generated monoids. By
applying our method to different categories, we obtain three related results: one, due to
Gehrke, Grigorieff and Pin, weakens boolean algebras to distributive lattices, one due to …
Abstract
We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg’s theorem. This theorem states that the lattice of all boolean algebras of regular languages over an alphabet Σ closed under derivatives is isomorphic to the lattice of all pseudovarieties of Σ-generated monoids. By applying our method to different categories, we obtain three related results: one, due to Gehrke, Grigorieff and Pin, weakens boolean algebras to distributive lattices, one due to Polák weakens them to join-semilattices, and the last one considers vector spaces over ℤ2.
Springer
以上显示的是最相近的搜索结果。 查看全部搜索结果