On a kind of Fatou property of context-free groups (Q1186612): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5652216 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4085266 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3859267 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4728264 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Note on Free Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The accessibility of finitely presented groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational sets in commutative monoids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3798273 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some remarks on derivations in general rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4198075 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a subclass of context-free groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Groups, the theory of ends, and context-free languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4155837 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343396 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A homomorphism theorem for weighted context-free grammars / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:07, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On a kind of Fatou property of context-free groups |
scientific article |
Statements
On a kind of Fatou property of context-free groups (English)
0 references
28 June 1992
0 references
A cone is a family of languages closed under homomorphism, inverse homomorphism, and intersection with regular languages. A context-free group is a group whose word problem is context-free; algebraically, they are the groups possessing a finitely generated free normal subgroup of finite index. Let \(M\) be a finitely generated monoid and \(\mathfrak C\) a family of languages closed under homomorphism. Define \({\mathfrak C}^ \exists(M)=\{T\subseteq M\mid\) there is a surjective homomorphism \(\phi: X^*\to M\) and \(L\in{\mathfrak C}\) such that \(\phi(L)=T\}\). The author proves the following result: let \(\mathfrak C\) be a cone closed under union, \(G\) a context-free group, \(U\) a finitely generated subgroup of \(G\), and \(T\subseteq U\). Then \(T\in{\mathfrak C}^ \exists(G)\) iff \(T\in{\mathfrak C}^ \exists(U)\). As an application, the author shows that in infinite context-free groups the algebraic subsets, that are those subsets which are homomorphic images of context-free languages, are strictly included in those subsets which are homomorphic images of recursively enumerable languages.
0 references
regular languages
0 references
word problem
0 references
free normal subgroup of finite index
0 references
finitely generated monoid
0 references
context-free groups
0 references
algebraic subsets
0 references
context-free languages
0 references
recursively enumerable languages
0 references