Matches in SemOpenAlex for { <https://semopenalex.org/work/W140546130> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W140546130 abstract "Bounded languages have recently proved to be an important class of languages for the analysis of Turing-powerful models. For instance, bounded context-free languages are used to under-approximate the behaviors of recursive programs. Ginsburg and Spanier have shown in 1966 that a bounded language (L subseteq a_1^* cdots a_d^*) is context-free if, and only if, its Parikh image is a stratifiable semilinear set. However, the question whether a semilinear set is stratifiable, hereafter called the stratifiability problem, was left open, and remains so. In this paper, we give a partial answer to this problem. We focus on semilinear sets that are given as finite systems of linear inequalities, and we show that stratifiability is coNP-complete in this case. Then, we apply our techniques to the context-freeness problem for flat counter systems, that asks whether the trace language of a counter system intersected with a bounded regular language is context-free. As main result of the paper, we show that this problem is coNP-complete." @default.
- W140546130 created "2016-06-24" @default.
- W140546130 creator A5014652670 @default.
- W140546130 creator A5062338734 @default.
- W140546130 creator A5080032804 @default.
- W140546130 date "2014-01-01" @default.
- W140546130 modified "2023-09-27" @default.
- W140546130 title "The Context-Freeness Problem Is coNP-Complete for Flat Counter Systems" @default.
- W140546130 cites W1532358383 @default.
- W140546130 cites W1540580590 @default.
- W140546130 cites W1546101340 @default.
- W140546130 cites W1550288578 @default.
- W140546130 cites W1876494617 @default.
- W140546130 cites W1964874178 @default.
- W140546130 cites W1967415065 @default.
- W140546130 cites W1980727005 @default.
- W140546130 cites W1989146600 @default.
- W140546130 cites W2002938245 @default.
- W140546130 cites W2002944460 @default.
- W140546130 cites W2006337571 @default.
- W140546130 cites W2017315323 @default.
- W140546130 cites W2021147005 @default.
- W140546130 cites W2031276295 @default.
- W140546130 cites W2034018160 @default.
- W140546130 cites W2046895474 @default.
- W140546130 cites W2082899028 @default.
- W140546130 cites W2154728806 @default.
- W140546130 cites W3104578959 @default.
- W140546130 doi "https://doi.org/10.1007/978-3-319-11936-6_19" @default.
- W140546130 hasPublicationYear "2014" @default.
- W140546130 type Work @default.
- W140546130 sameAs 140546130 @default.
- W140546130 citedByCount "4" @default.
- W140546130 countsByYear W1405461302016 @default.
- W140546130 countsByYear W1405461302018 @default.
- W140546130 countsByYear W1405461302020 @default.
- W140546130 crossrefType "book-chapter" @default.
- W140546130 hasAuthorship W140546130A5014652670 @default.
- W140546130 hasAuthorship W140546130A5062338734 @default.
- W140546130 hasAuthorship W140546130A5080032804 @default.
- W140546130 hasBestOaLocation W1405461302 @default.
- W140546130 hasConcept C11413529 @default.
- W140546130 hasConcept C136119220 @default.
- W140546130 hasConcept C151730666 @default.
- W140546130 hasConcept C173608175 @default.
- W140546130 hasConcept C199360897 @default.
- W140546130 hasConcept C202444582 @default.
- W140546130 hasConcept C2779343474 @default.
- W140546130 hasConcept C33923547 @default.
- W140546130 hasConcept C41008148 @default.
- W140546130 hasConcept C80444323 @default.
- W140546130 hasConcept C86803240 @default.
- W140546130 hasConceptScore W140546130C11413529 @default.
- W140546130 hasConceptScore W140546130C136119220 @default.
- W140546130 hasConceptScore W140546130C151730666 @default.
- W140546130 hasConceptScore W140546130C173608175 @default.
- W140546130 hasConceptScore W140546130C199360897 @default.
- W140546130 hasConceptScore W140546130C202444582 @default.
- W140546130 hasConceptScore W140546130C2779343474 @default.
- W140546130 hasConceptScore W140546130C33923547 @default.
- W140546130 hasConceptScore W140546130C41008148 @default.
- W140546130 hasConceptScore W140546130C80444323 @default.
- W140546130 hasConceptScore W140546130C86803240 @default.
- W140546130 hasLocation W1405461301 @default.
- W140546130 hasLocation W1405461302 @default.
- W140546130 hasLocation W1405461303 @default.
- W140546130 hasLocation W1405461304 @default.
- W140546130 hasLocation W1405461305 @default.
- W140546130 hasOpenAccess W140546130 @default.
- W140546130 hasPrimaryLocation W1405461301 @default.
- W140546130 hasRelatedWork W2104078272 @default.
- W140546130 hasRelatedWork W2112962394 @default.
- W140546130 hasRelatedWork W2117014006 @default.
- W140546130 hasRelatedWork W2118300983 @default.
- W140546130 hasRelatedWork W2166247150 @default.
- W140546130 hasRelatedWork W2372170743 @default.
- W140546130 hasRelatedWork W3137189469 @default.
- W140546130 hasRelatedWork W4233815414 @default.
- W140546130 hasRelatedWork W4235530921 @default.
- W140546130 hasRelatedWork W4243252198 @default.
- W140546130 isParatext "false" @default.
- W140546130 isRetracted "false" @default.
- W140546130 magId "140546130" @default.
- W140546130 workType "book-chapter" @default.