Topological Complexity of Context-Free omega-Languages: A Survey

Olivier Finkel

DOI: https://doi.org/10.48550/arXiv.0806.1413

2013-03-13

Abstract:We survey recent results on the topological complexity of context-free omega-languages which form the second level of the Chomsky hierarchy of languages of infinite words. In particular, we consider the Borel hierarchy and the Wadge hierarchy of non-deterministic or deterministic context-free omega-languages. We study also decision problems, the links with the notions of ambiguity and of degrees of ambiguity, and the special case of omega-powers.

Logic in Computer Science,Computational Complexity,Logic

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the topological complexity of context - free ω - languages. Specifically, the author reviews the research results on the topological complexity of context - free ω - languages in recent years. These languages form the second layer of the Chomsky hierarchy of infinite words.

### Main problems include:

1. **Borel Hierarchy and Wadge Hierarchy**:
- Research the position of context - free ω - languages in the Borel hierarchy and the Wadge hierarchy.
- Pay special attention to the complexity of non - deterministic and deterministic context - free ω - languages in these two hierarchies.

2. **Decision Problems**:
- Explore whether there are effective procedures to determine the Borel rank or Wadge degree of any context - free ω - language.
- For example, the question proposed by Lescow and Thomas: whether it can be determined whether a given context - free ω - language belongs to a specific Borel class.

3. **Ambiguity and Its Degree**:
- Research the ambiguity concepts related to context - free languages and the degree of ambiguity.
- These concepts are very important for understanding the structure and complexity of languages.

4. **Special Case: ω - Power**:
- Consider ω - languages in a specific form, such as \( V^\omega \), where \( V \) is a finite context - free language.

5. **Constructing Context - Free ω - Languages with High Complexity**:
- Use methods such as Duparc's set exponentiation to construct context - free ω - languages with a higher Borel rank.
- Prove that for each non - negative integer \( n\geq1 \), there are some context - free ω - languages, which are respectively \( \Sigma_0^n \)-complete sets or \( \Pi_0^n \)-complete sets.

### Example Formulas:

- **Definition of Borel Hierarchy**:
\[
\Sigma_0^1 \text{ is the class of open subsets of } X^\omega
\]
\[
\Pi_0^1 \text{ is the class of closed subsets of } X^\omega
\]
For any countable ordinal \( \alpha\geq2 \):
\[
\Sigma_0^\alpha \text{ is the class of countable unions of } \bigcup_{\gamma < \alpha} \Pi_0^\gamma
\]
\[
\Pi_0^\alpha \text{ is the class of countable intersections of } \bigcup_{\gamma < \alpha} \Sigma_0^\gamma
\]

- **Wadge Reducibility**:
\[
L \leq_W L' \iff \exists \text{ a continuous function } f : X^\omega \to Y^\omega, \text{ such that } L = f^{-1}(L')
\]

Through the research of these problems, the paper aims to understand the topological properties of context - free ω - languages more deeply and explore their applications in computational theory and logic.