Conference item
The Schützenberger product for syntactic spaces
- Abstract:
- Starting from Boolean algebras of languages closed under quotients and using duality theoretic insights, we derive the notion of Boolean spaces with internal monoids as recognisers for arbitrary formal languages of finite words over finite alphabets. This leads to recognisers and syntactic spaces in a setting that is well-suited for applying tools from Stone duality as applied in semantics. The main focus of the paper is the development of topo-algebraic constructions pertinent to the treatment of languages given by logic formulas. In particular, using the standard semantic view of quantification as projection, we derive a notion of Schützenberger product for Boolean spaces with internal monoids. This makes heavy use of the Vietoris construction – and its dual functor – which is central to the coalgebraic treatment of classical modal logic. We show that the unary Schützenberger product for spaces yields a recogniser for the language of all models of the formula ∃x.Φ(x), when applied to a recogniser for the language of all models of Φ(x). Further, we generalise global and local versions of the theorems of Schützenberger and Reutenauer characterising the languages recognised by the binary Schützenberger product. Finally, we provide an equational characterisation of Boolean algebras obtained by local Schützenberger product with the one element space based on an Egli-Milner type condition on generalised factorisations of ultrafilters on words.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 564.1KB, Terms of use)
-
- Publisher copy:
- 10.4230/LIPIcs.ICALP.2016.112
Authors
- Publisher:
- Schloss Dagstuhl
- Host title:
- 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
- Volume:
- 55
- Pages:
- 1-14
- Article number:
- 112
- Publication date:
- 2016-08-23
- Acceptance date:
- 2016-03-02
- Event title:
- 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
- Event location:
- Rome, Italy
- Event website:
- easyconferences.eu/icalp2016/
- Event start date:
- 2016-07-12
- Event end date:
- 2016-07-15
- DOI:
- ISSN:
-
1868-8969
- ISBN:
- 9783959770132
- Language:
-
English
- Keywords:
- Pubs id:
-
1113018
- Local pid:
-
pubs:1113018
- Deposit date:
-
2020-06-18
- ARK identifier:
Terms of use
- Copyright holder:
- Gehrke et al.
- Copyright date:
- 2016
- Rights statement:
- © Mai Gehrke, Daniela Petrişan, and Luca Reggio; licensed under Creative Commons License CC-BY.
- Notes:
- This paper was presented at the 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Rome, Italy, July 2016.
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record