Several representations of the recursively enumerable (r.e.) sets are presented. The first states that every r.e. set is the homomorphic image of the intersection of two linear context-free languages. The second states that every r.e. set is accepted by an on-line Turing acceptor with two pushdown s
โฆ LIBER โฆ
A characterization of reversal-bounded multipushdown machine languages
โ Scribed by W. Rytter; M. Chrobak
- Publisher
- Elsevier Science
- Year
- 1985
- Tongue
- English
- Weight
- 266 KB
- Volume
- 36
- Category
- Article
- ISSN
- 0304-3975
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Reversal-bounded multipushdown machines
โ
Brenda S. Baker; Ronald V. Book
๐
Article
๐
1974
๐
Elsevier Science
๐
English
โ 1001 KB
String and graph grammar characterizatio
โ
Kenneth B. Salomon
๐
Article
๐
1978
๐
Springer
๐
English
โ 469 KB
A characterization of local regular lang
โ
S.S. Yu
๐
Article
๐
1998
๐
Elsevier Science
๐
English
โ 458 KB
As every non-empty word is a power of a unique primitive word, a set of primitive roots of a language is like an independent subset of a vector space. A language having finitely many primitive roots is called a local language. The purpose of this paper is to characterize local regular languages. We
A characterization of context-free langu
โ
Jozef Gruska
๐
Article
๐
1971
๐
Elsevier Science
๐
English
โ 522 KB
A logical characterization of data langu
โ
Patricia Bouyer
๐
Article
๐
2002
๐
Elsevier Science
๐
English
โ 118 KB
A homomorphic characterization of regula
โ
Karel Culik II; Faith E. Fich; Arto Salomaa
๐
Article
๐
1982
๐
Elsevier Science
๐
English
โ 185 KB