Matches in SemOpenAlex for { <https://semopenalex.org/work/W2522877794> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2522877794 abstract "Coverability trees offer a finite characterization of all the derivations of a context-free parallel grammar system (CF-PCGS). Their finite nature implies that they necessarily omit some information about these derivations. We demonstrate that the omitted information is most if not all of the time too much, and so coverability trees are not useful as an analysis tool except for their limited use already considered in the paper that introduces them (namely, determining the decidability of certain decision problems over PCGS). We establish this result by invalidating an existing proof that synchronized CF-PCGS are less expressive than context-sensitive grammars. Indeed, we discover that this proof relies on coverability trees for CF-PCGS, but that such coverability trees do not in fact contain enough information to support the proof." @default.
- W2522877794 created "2016-09-30" @default.
- W2522877794 creator A5022137616 @default.
- W2522877794 creator A5088249284 @default.
- W2522877794 date "2016-09-01" @default.
- W2522877794 modified "2023-09-27" @default.
- W2522877794 title "Limitations of Coverability Trees for Context-Free Parallel Communicating Grammar Systems and Why these Grammar Systems are not Linear Space" @default.
- W2522877794 cites W1977952029 @default.
- W2522877794 cites W1995375035 @default.
- W2522877794 cites W2001356001 @default.
- W2522877794 cites W2052391311 @default.
- W2522877794 cites W2092508863 @default.
- W2522877794 doi "https://doi.org/10.1142/s0129626416500122" @default.
- W2522877794 hasPublicationYear "2016" @default.
- W2522877794 type Work @default.
- W2522877794 sameAs 2522877794 @default.
- W2522877794 citedByCount "0" @default.
- W2522877794 crossrefType "journal-article" @default.
- W2522877794 hasAuthorship W2522877794A5022137616 @default.
- W2522877794 hasAuthorship W2522877794A5088249284 @default.
- W2522877794 hasConcept C113174947 @default.
- W2522877794 hasConcept C114614502 @default.
- W2522877794 hasConcept C118615104 @default.
- W2522877794 hasConcept C138885662 @default.
- W2522877794 hasConcept C151730666 @default.
- W2522877794 hasConcept C153269930 @default.
- W2522877794 hasConcept C154945302 @default.
- W2522877794 hasConcept C199360897 @default.
- W2522877794 hasConcept C26022165 @default.
- W2522877794 hasConcept C2779343474 @default.
- W2522877794 hasConcept C33923547 @default.
- W2522877794 hasConcept C41008148 @default.
- W2522877794 hasConcept C41895202 @default.
- W2522877794 hasConcept C53893814 @default.
- W2522877794 hasConcept C80444323 @default.
- W2522877794 hasConcept C86803240 @default.
- W2522877794 hasConcept C97212296 @default.
- W2522877794 hasConceptScore W2522877794C113174947 @default.
- W2522877794 hasConceptScore W2522877794C114614502 @default.
- W2522877794 hasConceptScore W2522877794C118615104 @default.
- W2522877794 hasConceptScore W2522877794C138885662 @default.
- W2522877794 hasConceptScore W2522877794C151730666 @default.
- W2522877794 hasConceptScore W2522877794C153269930 @default.
- W2522877794 hasConceptScore W2522877794C154945302 @default.
- W2522877794 hasConceptScore W2522877794C199360897 @default.
- W2522877794 hasConceptScore W2522877794C26022165 @default.
- W2522877794 hasConceptScore W2522877794C2779343474 @default.
- W2522877794 hasConceptScore W2522877794C33923547 @default.
- W2522877794 hasConceptScore W2522877794C41008148 @default.
- W2522877794 hasConceptScore W2522877794C41895202 @default.
- W2522877794 hasConceptScore W2522877794C53893814 @default.
- W2522877794 hasConceptScore W2522877794C80444323 @default.
- W2522877794 hasConceptScore W2522877794C86803240 @default.
- W2522877794 hasConceptScore W2522877794C97212296 @default.
- W2522877794 hasLocation W25228777941 @default.
- W2522877794 hasOpenAccess W2522877794 @default.
- W2522877794 hasPrimaryLocation W25228777941 @default.
- W2522877794 hasRelatedWork W1022544700 @default.
- W2522877794 hasRelatedWork W1507910031 @default.
- W2522877794 hasRelatedWork W1563979604 @default.
- W2522877794 hasRelatedWork W1572065140 @default.
- W2522877794 hasRelatedWork W1586767018 @default.
- W2522877794 hasRelatedWork W1785196451 @default.
- W2522877794 hasRelatedWork W2021616063 @default.
- W2522877794 hasRelatedWork W204267601 @default.
- W2522877794 hasRelatedWork W2127447375 @default.
- W2522877794 hasRelatedWork W2178595811 @default.
- W2522877794 hasRelatedWork W2273583583 @default.
- W2522877794 hasRelatedWork W2292940983 @default.
- W2522877794 hasRelatedWork W2736250658 @default.
- W2522877794 hasRelatedWork W2740450611 @default.
- W2522877794 hasRelatedWork W2894353284 @default.
- W2522877794 hasRelatedWork W2915014422 @default.
- W2522877794 hasRelatedWork W2952180784 @default.
- W2522877794 hasRelatedWork W3178380992 @default.
- W2522877794 hasRelatedWork W3180068046 @default.
- W2522877794 hasRelatedWork W82809743 @default.
- W2522877794 isParatext "false" @default.
- W2522877794 isRetracted "false" @default.
- W2522877794 magId "2522877794" @default.
- W2522877794 workType "article" @default.