𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Borel hierarchy and omega context free languages

✍ Scribed by Olivier Finkel


Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
214 KB
Volume
290
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis


We give in this paper additional answers to questions of Lescow and Thomas (A decade of


πŸ“œ SIMILAR VOLUMES


On omega context free languages which ar
✍ Olivier Finkel πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 296 KB

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

An hierarchy between context-free and co
✍ Takumi Kasai πŸ“‚ Article πŸ“… 1970 πŸ› Elsevier Science 🌐 English βš– 718 KB

Infinite subfamilies ~l, ~ .... , -oq'~o, .W,~ of the family consisting of contextsensitive languages, are introduced such that .2'~ ~z~ ..-C ~| ~o,where 9 LP a is the family of e-free context-free languages, Ld,o is the family of context-sensitive languages, and each L/', is an Abstract Family of L

Ambiguity in omega context free language
✍ Olivier Finkel πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 522 KB

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 co

Context-free languages and random walks
✍ Wolfgang Woess πŸ“‚ Article πŸ“… 1987 πŸ› Elsevier Science 🌐 English βš– 435 KB

The Green function of an arbitrary, finitely supported random walk on a discrete group with context-free word problem is algebraic. It is shown how this theorem can be deduced from basic results of formal language theory. Context-free groups are precisely the finite extensions of free groups.