Olivier Finkel

activity

20242026

collaborators

Showing cs.LOShow all

2 papers · 1 filter

cs.LO2026

Some complete $ω$ -powers of a one-counter language in the difference hierarchy

Jacques Duparc, Olivier Finkel, Dominique Lecomte

Fix a finite alphabet $Σ$ having at least two letters, and natural numbers $n, k \geq 1$ . We denote by $D_{n} (Π_{k}^{0})$ the class of differences of $n$ subsets of the Cantor space…

cs.LO2024

Wadge degrees of $Δ_{2}^{0}$ omega-powers

Olivier Finkel, Dominique Lecomte

We provide, for each natural number $n$ and each class among $D_{n} (Σ_{1}^{0})$ , $D ˉ_{n} (Σ_{1}^{0})$ and $D_{2 n + 1} (Σ_{1}^{0}) \oplus D ˉ_{2 n + 1} (Σ_{1}^{0})$ , a regular language whose associated om…

Some complete ω-powers of a one-counter language in the difference hierarchy

Wadge degrees of Δ20​ omega-powers

Some complete $ω$ -powers of a one-counter language in the difference hierarchy

Wadge degrees of $Δ_{2}^{0}$ omega-powers