We give in this paper additional answers to questions of Lescow and Thomas (A decade of
Ambiguity in omega context free languages
β Scribed by Olivier Finkel
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 522 KB
- Volume
- 301
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
β¦ Synopsis
We extend the well-known notions of ambiguity and of degrees of ambiguity of ΓΏnitary context free languages to the case of omega context free languages (!-CFL) accepted by B uchi or Muller pushdown automata. We show that these notions may be deΓΏned independently of the B uchi or Muller acceptance condition which is considered. We investigate ΓΏrst properties of the subclasses of omega context free languages we get in that way, giving many examples and studying topological properties of !-CFL of a given degree of ambiguity.
π SIMILAR VOLUMES
A bracketed grammar is a context-free grammar in which indexed brackets are inserted around the right-hand sides of the rules. The language generated by a bracketed grammar is a bracketed language. An algebraic condition is given for one bracketed language to be a subset of another. The intersection
This paper is a continuation of the study of topological properties of omega context free languages (!-CFL). We proved in (Topological properties of omega context free languages, Theoretical Computer Science, 262 (1-2) (2001) 669-697) that the class of !-CFL exhausts the ΓΏnite ranks of the Borel hie
In this paper we investigate languages containing at most a bounded number of words of each length. We first show that the context-free languages for which the number of words of every length is bounded by a fixed polynomial are exactly the bounded context-free languages in the sense of . Thus, we p