Regular languages and stone duality
โ Scribed by N. Pippenger
- Book ID
- 110621111
- Publisher
- Springer
- Year
- 1997
- Tongue
- English
- Weight
- 767 KB
- Volume
- 30
- Category
- Article
- ISSN
- 1433-0490
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
A bisemigroup consists of a set of elements and two associative operations. A bimonoid is a bisemigroup which has an identity to each associative operation. A binoid is a bimonoid which has the same identity to the two associative operations. In a previous paper, we introduced these three notions, a
The square of a language L is the set of all words pp where p โ L. The square of a regular language may be regular too or context-free or none of both. We give characterizations for each of these cases and show that it is decidable whether a regular language has one of these properties.