Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034299733> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2034299733 endingPage "170" @default.
- W2034299733 startingPage "149" @default.
- W2034299733 abstract "The following problem is shown to be decidable: Given a context-free grammar G and a string wϵX∗, does there exist a string uϵL(G) such that w is obtained from u by deleting all substrings ui that are elements of the symmetric Dyck set D∗1? The intersection of any two context-free languages can be obtained from only one context-free language by cancellation either with the smaller semi-Dyck set D′∗1 ⊂ D∗1 or with D∗1 itself. Also, the following is shown here for the first time: if the set EQ: = {xnx-n ¦ n ϵ N} ⊂ D′∗1 is used for this cancellation, then each recursively enumerable set can be obtained from linear context-free languages. Previous work has shown that cancellation of substrings from the semi-Dyck language D′∗1 or from any of the former languages D∗1, or EQ, allows one to obtain the following from the context-free languages: any terminal Petri net language [14, 16], the intersections of any context-free with a terminal Petri net language, and the nested iterated substitution thereof [15]. We generalize this characterization by showing that linear context-free languages suffice for generating terminal Petri net languages. In proving this we obtain a new closure property of the family of Petri net languages which is not shared by the context-free sets." @default.
- W2034299733 created "2016-06-24" @default.
- W2034299733 creator A5026256833 @default.
- W2034299733 creator A5067983786 @default.
- W2034299733 date "1994-05-01" @default.
- W2034299733 modified "2023-10-18" @default.
- W2034299733 title "Cancellation in context-free languages: enrichment by reduction" @default.
- W2034299733 cites W143770919 @default.
- W2034299733 cites W1964009456 @default.
- W2034299733 cites W1986558002 @default.
- W2034299733 cites W1990211242 @default.
- W2034299733 cites W2034188445 @default.
- W2034299733 cites W2040556423 @default.
- W2034299733 cites W2053350018 @default.
- W2034299733 cites W2054160268 @default.
- W2034299733 cites W2054264594 @default.
- W2034299733 cites W3023902317 @default.
- W2034299733 doi "https://doi.org/10.1016/0304-3975(94)90104-x" @default.
- W2034299733 hasPublicationYear "1994" @default.
- W2034299733 type Work @default.
- W2034299733 sameAs 2034299733 @default.
- W2034299733 citedByCount "9" @default.
- W2034299733 countsByYear W20342997332017 @default.
- W2034299733 countsByYear W20342997332021 @default.
- W2034299733 countsByYear W20342997332022 @default.
- W2034299733 crossrefType "journal-article" @default.
- W2034299733 hasAuthorship W2034299733A5026256833 @default.
- W2034299733 hasAuthorship W2034299733A5067983786 @default.
- W2034299733 hasConcept C114614502 @default.
- W2034299733 hasConcept C118615104 @default.
- W2034299733 hasConcept C127413603 @default.
- W2034299733 hasConcept C146072743 @default.
- W2034299733 hasConcept C146978453 @default.
- W2034299733 hasConcept C151730666 @default.
- W2034299733 hasConcept C153269930 @default.
- W2034299733 hasConcept C154945302 @default.
- W2034299733 hasConcept C157486923 @default.
- W2034299733 hasConcept C177264268 @default.
- W2034299733 hasConcept C182407805 @default.
- W2034299733 hasConcept C198838072 @default.
- W2034299733 hasConcept C199360897 @default.
- W2034299733 hasConcept C2779343474 @default.
- W2034299733 hasConcept C30014739 @default.
- W2034299733 hasConcept C33923547 @default.
- W2034299733 hasConcept C37914503 @default.
- W2034299733 hasConcept C38677869 @default.
- W2034299733 hasConcept C41008148 @default.
- W2034299733 hasConcept C53893814 @default.
- W2034299733 hasConcept C64543145 @default.
- W2034299733 hasConcept C80444323 @default.
- W2034299733 hasConcept C86803240 @default.
- W2034299733 hasConceptScore W2034299733C114614502 @default.
- W2034299733 hasConceptScore W2034299733C118615104 @default.
- W2034299733 hasConceptScore W2034299733C127413603 @default.
- W2034299733 hasConceptScore W2034299733C146072743 @default.
- W2034299733 hasConceptScore W2034299733C146978453 @default.
- W2034299733 hasConceptScore W2034299733C151730666 @default.
- W2034299733 hasConceptScore W2034299733C153269930 @default.
- W2034299733 hasConceptScore W2034299733C154945302 @default.
- W2034299733 hasConceptScore W2034299733C157486923 @default.
- W2034299733 hasConceptScore W2034299733C177264268 @default.
- W2034299733 hasConceptScore W2034299733C182407805 @default.
- W2034299733 hasConceptScore W2034299733C198838072 @default.
- W2034299733 hasConceptScore W2034299733C199360897 @default.
- W2034299733 hasConceptScore W2034299733C2779343474 @default.
- W2034299733 hasConceptScore W2034299733C30014739 @default.
- W2034299733 hasConceptScore W2034299733C33923547 @default.
- W2034299733 hasConceptScore W2034299733C37914503 @default.
- W2034299733 hasConceptScore W2034299733C38677869 @default.
- W2034299733 hasConceptScore W2034299733C41008148 @default.
- W2034299733 hasConceptScore W2034299733C53893814 @default.
- W2034299733 hasConceptScore W2034299733C64543145 @default.
- W2034299733 hasConceptScore W2034299733C80444323 @default.
- W2034299733 hasConceptScore W2034299733C86803240 @default.
- W2034299733 hasIssue "1" @default.
- W2034299733 hasLocation W20342997331 @default.
- W2034299733 hasOpenAccess W2034299733 @default.
- W2034299733 hasPrimaryLocation W20342997331 @default.
- W2034299733 hasRelatedWork W1507366302 @default.
- W2034299733 hasRelatedWork W1640719668 @default.
- W2034299733 hasRelatedWork W1773223060 @default.
- W2034299733 hasRelatedWork W1778149536 @default.
- W2034299733 hasRelatedWork W2028755743 @default.
- W2034299733 hasRelatedWork W2034299733 @default.
- W2034299733 hasRelatedWork W2062836726 @default.
- W2034299733 hasRelatedWork W2168381753 @default.
- W2034299733 hasRelatedWork W2489809986 @default.
- W2034299733 hasRelatedWork W2802966894 @default.
- W2034299733 hasVolume "127" @default.
- W2034299733 isParatext "false" @default.
- W2034299733 isRetracted "false" @default.
- W2034299733 magId "2034299733" @default.
- W2034299733 workType "article" @default.