Olivier Finkel Pierre Simonnet Topology and Ambiguity in Omega Context Free Languages http://arxiv.org/abs/0801.0533 2008 CoRR abs/0801.0533 db/journals/corr/corr0801.html#abs-0801-0533 informal publication