Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993901943> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1993901943 endingPage "310" @default.
- W1993901943 startingPage "295" @default.
- W1993901943 abstract "This is the first of a series of three papers describing some surprising connections between group theory, the theory of ends, the theory of automata and formal languages, and second-order logic. This first paper discusses the interaction of group theory and formal language theory. Using the theory of ends and Rabin’s theorem that the monadic theory of the infinite binary tree is decidable, the second paper will establish the decidability of the monadic second-order theory of a very large class of graphs. The third paper will give give a new proof of Rabin’s theorem. The sketch ]9] is a detailed statement of the reults of the first and second papers. We begin our investigation with a question raised by Anisimov ] 11. A finitely generated group can be described by a presentation G = (X; R) in terms of generators and defining relations. The word problem W(G) is the set of all words on the generators and their inverses which represent the identity element of G. Anisimov asked, “If W(G) is a context-free language in the usual sense of formal language theory, what can one say about the algebraic structure of the group G?” Although the set W(G) depends on the presentation, an easy lemma shows that if W(G) is a context-free language for one presentation of G, then W(G) is a context-free laguage for every finitely generated presentation of G. Thus we shall simply say that a finitely generated group is context-free if the word problem is a context-free language for finitely generated presentations of G. A group is virtually free if it has a free subgroup of finite index. We were led to conjecture that a finitely generated group is" @default.
- W1993901943 created "2016-06-24" @default.
- W1993901943 creator A5031808060 @default.
- W1993901943 creator A5062666692 @default.
- W1993901943 date "1983-06-01" @default.
- W1993901943 modified "2023-10-12" @default.
- W1993901943 title "Groups, the Theory of ends, and context-free languages" @default.
- W1993901943 cites W2028219824 @default.
- W1993901943 cites W2156821407 @default.
- W1993901943 cites W606341974 @default.
- W1993901943 doi "https://doi.org/10.1016/0022-0000(83)90003-x" @default.
- W1993901943 hasPublicationYear "1983" @default.
- W1993901943 type Work @default.
- W1993901943 sameAs 1993901943 @default.
- W1993901943 citedByCount "236" @default.
- W1993901943 countsByYear W19939019432012 @default.
- W1993901943 countsByYear W19939019432013 @default.
- W1993901943 countsByYear W19939019432014 @default.
- W1993901943 countsByYear W19939019432015 @default.
- W1993901943 countsByYear W19939019432016 @default.
- W1993901943 countsByYear W19939019432017 @default.
- W1993901943 countsByYear W19939019432018 @default.
- W1993901943 countsByYear W19939019432019 @default.
- W1993901943 countsByYear W19939019432020 @default.
- W1993901943 countsByYear W19939019432021 @default.
- W1993901943 countsByYear W19939019432022 @default.
- W1993901943 countsByYear W19939019432023 @default.
- W1993901943 crossrefType "journal-article" @default.
- W1993901943 hasAuthorship W1993901943A5031808060 @default.
- W1993901943 hasAuthorship W1993901943A5062666692 @default.
- W1993901943 hasConcept C138885662 @default.
- W1993901943 hasConcept C144237770 @default.
- W1993901943 hasConcept C154945302 @default.
- W1993901943 hasConcept C166957645 @default.
- W1993901943 hasConcept C198838072 @default.
- W1993901943 hasConcept C2779343474 @default.
- W1993901943 hasConcept C33923547 @default.
- W1993901943 hasConcept C41008148 @default.
- W1993901943 hasConcept C41895202 @default.
- W1993901943 hasConcept C53893814 @default.
- W1993901943 hasConcept C95457728 @default.
- W1993901943 hasConceptScore W1993901943C138885662 @default.
- W1993901943 hasConceptScore W1993901943C144237770 @default.
- W1993901943 hasConceptScore W1993901943C154945302 @default.
- W1993901943 hasConceptScore W1993901943C166957645 @default.
- W1993901943 hasConceptScore W1993901943C198838072 @default.
- W1993901943 hasConceptScore W1993901943C2779343474 @default.
- W1993901943 hasConceptScore W1993901943C33923547 @default.
- W1993901943 hasConceptScore W1993901943C41008148 @default.
- W1993901943 hasConceptScore W1993901943C41895202 @default.
- W1993901943 hasConceptScore W1993901943C53893814 @default.
- W1993901943 hasConceptScore W1993901943C95457728 @default.
- W1993901943 hasIssue "3" @default.
- W1993901943 hasLocation W19939019431 @default.
- W1993901943 hasOpenAccess W1993901943 @default.
- W1993901943 hasPrimaryLocation W19939019431 @default.
- W1993901943 hasRelatedWork W1490722843 @default.
- W1993901943 hasRelatedWork W1495327289 @default.
- W1993901943 hasRelatedWork W1970457331 @default.
- W1993901943 hasRelatedWork W1975519986 @default.
- W1993901943 hasRelatedWork W2004071995 @default.
- W1993901943 hasRelatedWork W2025440801 @default.
- W1993901943 hasRelatedWork W2092088819 @default.
- W1993901943 hasRelatedWork W2376345092 @default.
- W1993901943 hasRelatedWork W3119626583 @default.
- W1993901943 hasRelatedWork W3177880464 @default.
- W1993901943 hasVolume "26" @default.
- W1993901943 isParatext "false" @default.
- W1993901943 isRetracted "false" @default.
- W1993901943 magId "1993901943" @default.
- W1993901943 workType "article" @default.