Topological Properties of Omega Context Free Languages

@inproceedings{Gold2017TopologicalPO,
  title={Topological Properties of Omega Context Free Languages},
  author={Avram Gold and Miika Linna and Maurice Nivat},
  year={2017}
}
This paper is a study of topological properties of omega context free languages (ω-CFL). We first extend some decidability results for the deterministic ones (ωDCFL), proving that one can decide whether an ω-DCFL is in a given Borel class, or in the Wadge class of a given ω-regular language . We prove that ω-CFL exhaust the hierarchy of Borel sets of finite rank, and that one cannot decide the borel class of an ω-CFL, giving an answer to a question of [LT94]. We give also a (partial) answer to… CONTINUE READING
8 Citations
34 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 34 references

ω-languages

  • L. Staiger
  • Chapter of the Handbook of Formal Languages, Vol…
  • 1997
Highly Influential
8 Excerpts

On ω-Power Languages, in New Trends in Formal Languages, Control, Coperation, and Combinatorics, Lecture Notes in Computer Science 1218

  • L. Staiger
  • 1997

in Handbook of Formal Languages

  • J-M. Autebert, J. Berstel, L. Boasson, Context Free Languages, Pushdown Automata
  • Vol 1, Springer Verlag
  • 1996

The Normal form of Borel sets

  • J. Duparc
  • Part 1: Borel sets of finite rank, C.R.A.S. Paris…
  • 1995

Thesis

  • J. Duparc, La Forme Normale des Boréliens de Rang Fini, Ph.D
  • Université Paris 7,
  • 1995
2 Excerpts

Similar Papers

Loading similar papers…