Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952388772> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2952388772 abstract "We study regular expressions that use variables, or parameters, which are interpreted as alphabet letters. We consider two classes of languages denoted by such expressions: under the possibility semantics, a word belongs to the language if it is denoted by some regular expression obtained by replacing variables with letters; under the certainly semantics, the word must be denoted by every such expression. Such languages are regular, and we show that they naturally arise in several applications such as querying graph databases and program analysis. As the main contribution of the paper, we provide a complete characterization of the complexity of the main computational problems related to such languages: nonemptiness, universality, containment, membership, as well as the problem of constructing NFAs capturing such languages. We also look at the extension when domains of variables could be arbitrary regular languages, and show that under the certainty semantics, languages remain regular and the complexity of the main computational problems does not change." @default.
- W2952388772 created "2019-06-27" @default.
- W2952388772 creator A5000893188 @default.
- W2952388772 creator A5051683347 @default.
- W2952388772 creator A5069883356 @default.
- W2952388772 date "2011-07-04" @default.
- W2952388772 modified "2023-09-26" @default.
- W2952388772 title "Parameterized Regular Expressions and their Languages" @default.
- W2952388772 cites W1963501278 @default.
- W2952388772 cites W1976580206 @default.
- W2952388772 cites W1980490128 @default.
- W2952388772 cites W1990391007 @default.
- W2952388772 cites W2031703228 @default.
- W2952388772 cites W2070934866 @default.
- W2952388772 cites W2114507260 @default.
- W2952388772 cites W2126871242 @default.
- W2952388772 cites W2149976284 @default.
- W2952388772 cites W2155996966 @default.
- W2952388772 cites W2158631747 @default.
- W2952388772 doi "https://doi.org/10.48550/arxiv.1107.0577" @default.
- W2952388772 hasPublicationYear "2011" @default.
- W2952388772 type Work @default.
- W2952388772 sameAs 2952388772 @default.
- W2952388772 citedByCount "0" @default.
- W2952388772 crossrefType "posted-content" @default.
- W2952388772 hasAuthorship W2952388772A5000893188 @default.
- W2952388772 hasAuthorship W2952388772A5051683347 @default.
- W2952388772 hasAuthorship W2952388772A5069883356 @default.
- W2952388772 hasBestOaLocation W29523887721 @default.
- W2952388772 hasConcept C112505250 @default.
- W2952388772 hasConcept C112876837 @default.
- W2952388772 hasConcept C11413529 @default.
- W2952388772 hasConcept C118615104 @default.
- W2952388772 hasConcept C121329065 @default.
- W2952388772 hasConcept C121332964 @default.
- W2952388772 hasConcept C138885662 @default.
- W2952388772 hasConcept C165464430 @default.
- W2952388772 hasConcept C183992945 @default.
- W2952388772 hasConcept C184337299 @default.
- W2952388772 hasConcept C199360897 @default.
- W2952388772 hasConcept C2524010 @default.
- W2952388772 hasConcept C33923547 @default.
- W2952388772 hasConcept C41008148 @default.
- W2952388772 hasConcept C41895202 @default.
- W2952388772 hasConcept C52370388 @default.
- W2952388772 hasConcept C62520636 @default.
- W2952388772 hasConcept C80444323 @default.
- W2952388772 hasConcept C90805587 @default.
- W2952388772 hasConceptScore W2952388772C112505250 @default.
- W2952388772 hasConceptScore W2952388772C112876837 @default.
- W2952388772 hasConceptScore W2952388772C11413529 @default.
- W2952388772 hasConceptScore W2952388772C118615104 @default.
- W2952388772 hasConceptScore W2952388772C121329065 @default.
- W2952388772 hasConceptScore W2952388772C121332964 @default.
- W2952388772 hasConceptScore W2952388772C138885662 @default.
- W2952388772 hasConceptScore W2952388772C165464430 @default.
- W2952388772 hasConceptScore W2952388772C183992945 @default.
- W2952388772 hasConceptScore W2952388772C184337299 @default.
- W2952388772 hasConceptScore W2952388772C199360897 @default.
- W2952388772 hasConceptScore W2952388772C2524010 @default.
- W2952388772 hasConceptScore W2952388772C33923547 @default.
- W2952388772 hasConceptScore W2952388772C41008148 @default.
- W2952388772 hasConceptScore W2952388772C41895202 @default.
- W2952388772 hasConceptScore W2952388772C52370388 @default.
- W2952388772 hasConceptScore W2952388772C62520636 @default.
- W2952388772 hasConceptScore W2952388772C80444323 @default.
- W2952388772 hasConceptScore W2952388772C90805587 @default.
- W2952388772 hasLocation W29523887721 @default.
- W2952388772 hasLocation W29523887722 @default.
- W2952388772 hasLocation W29523887723 @default.
- W2952388772 hasLocation W29523887724 @default.
- W2952388772 hasLocation W29523887725 @default.
- W2952388772 hasOpenAccess W2952388772 @default.
- W2952388772 hasPrimaryLocation W29523887721 @default.
- W2952388772 hasRelatedWork W2031441199 @default.
- W2952388772 hasRelatedWork W2101571534 @default.
- W2952388772 hasRelatedWork W2112175063 @default.
- W2952388772 hasRelatedWork W2248652201 @default.
- W2952388772 hasRelatedWork W2543139652 @default.
- W2952388772 hasRelatedWork W2950141706 @default.
- W2952388772 hasRelatedWork W2952388772 @default.
- W2952388772 hasRelatedWork W3007472440 @default.
- W2952388772 hasRelatedWork W3022505008 @default.
- W2952388772 hasRelatedWork W3082075374 @default.
- W2952388772 isParatext "false" @default.
- W2952388772 isRetracted "false" @default.
- W2952388772 magId "2952388772" @default.
- W2952388772 workType "article" @default.