Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056522133> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2056522133 endingPage "65" @default.
- W2056522133 startingPage "53" @default.
- W2056522133 abstract "We propose a novel extension of Brzozowski's derivative of regular expressions, called product derivatives. It takes two regular expressions and the meaning of its result is stated as follows: a product derivative of R with respect to S is a regular expression obtained by the consumption of all the sequences in the first regular expression by the second, i.e., the result is the product of Brzozowski's derivatives of R with respect to sequences in S. We develop an algorithm for our derivatives in coinductive manner. The termination of the algorithm is shown based on the proof method by Brandt and Henglein. We expect the derivative proposed in this talk is an important step to the development of the derivatives of a regular hedge expression taking a regular hedge expression as input, which is useful for transformation of XML documents with function terms typed with regular hedge expressions. The situation, for example, occurs in the transformation of XML documents with the links to the other Web services, such as Active XML documents." @default.
- W2056522133 created "2016-06-24" @default.
- W2056522133 creator A5021252264 @default.
- W2056522133 creator A5076496001 @default.
- W2056522133 date "2008-01-01" @default.
- W2056522133 modified "2023-09-27" @default.
- W2056522133 title "Product Derivatives of Regular Expressions" @default.
- W2056522133 cites W1570949334 @default.
- W2056522133 cites W157736541 @default.
- W2056522133 cites W1589260337 @default.
- W2056522133 cites W2002963162 @default.
- W2056522133 cites W2011808538 @default.
- W2056522133 cites W2046213250 @default.
- W2056522133 cites W2057427285 @default.
- W2056522133 cites W2090446734 @default.
- W2056522133 cites W2094985106 @default.
- W2056522133 cites W2100501061 @default.
- W2056522133 cites W2131770667 @default.
- W2056522133 cites W2141405865 @default.
- W2056522133 cites W2156429182 @default.
- W2056522133 cites W2157821258 @default.
- W2056522133 cites W2571191178 @default.
- W2056522133 doi "https://doi.org/10.2197/ipsjtrans.1.53" @default.
- W2056522133 hasPublicationYear "2008" @default.
- W2056522133 type Work @default.
- W2056522133 sameAs 2056522133 @default.
- W2056522133 citedByCount "1" @default.
- W2056522133 crossrefType "journal-article" @default.
- W2056522133 hasAuthorship W2056522133A5021252264 @default.
- W2056522133 hasAuthorship W2056522133A5076496001 @default.
- W2056522133 hasBestOaLocation W20565221331 @default.
- W2056522133 hasConcept C104317684 @default.
- W2056522133 hasConcept C106159729 @default.
- W2056522133 hasConcept C111771559 @default.
- W2056522133 hasConcept C121329065 @default.
- W2056522133 hasConcept C136764020 @default.
- W2056522133 hasConcept C162324750 @default.
- W2056522133 hasConcept C185592680 @default.
- W2056522133 hasConcept C18903297 @default.
- W2056522133 hasConcept C199360897 @default.
- W2056522133 hasConcept C204241405 @default.
- W2056522133 hasConcept C2524010 @default.
- W2056522133 hasConcept C2778029271 @default.
- W2056522133 hasConcept C33923547 @default.
- W2056522133 hasConcept C41008148 @default.
- W2056522133 hasConcept C55493867 @default.
- W2056522133 hasConcept C70771513 @default.
- W2056522133 hasConcept C86803240 @default.
- W2056522133 hasConcept C8797682 @default.
- W2056522133 hasConcept C90559484 @default.
- W2056522133 hasConcept C90673727 @default.
- W2056522133 hasConceptScore W2056522133C104317684 @default.
- W2056522133 hasConceptScore W2056522133C106159729 @default.
- W2056522133 hasConceptScore W2056522133C111771559 @default.
- W2056522133 hasConceptScore W2056522133C121329065 @default.
- W2056522133 hasConceptScore W2056522133C136764020 @default.
- W2056522133 hasConceptScore W2056522133C162324750 @default.
- W2056522133 hasConceptScore W2056522133C185592680 @default.
- W2056522133 hasConceptScore W2056522133C18903297 @default.
- W2056522133 hasConceptScore W2056522133C199360897 @default.
- W2056522133 hasConceptScore W2056522133C204241405 @default.
- W2056522133 hasConceptScore W2056522133C2524010 @default.
- W2056522133 hasConceptScore W2056522133C2778029271 @default.
- W2056522133 hasConceptScore W2056522133C33923547 @default.
- W2056522133 hasConceptScore W2056522133C41008148 @default.
- W2056522133 hasConceptScore W2056522133C55493867 @default.
- W2056522133 hasConceptScore W2056522133C70771513 @default.
- W2056522133 hasConceptScore W2056522133C86803240 @default.
- W2056522133 hasConceptScore W2056522133C8797682 @default.
- W2056522133 hasConceptScore W2056522133C90559484 @default.
- W2056522133 hasConceptScore W2056522133C90673727 @default.
- W2056522133 hasLocation W20565221331 @default.
- W2056522133 hasOpenAccess W2056522133 @default.
- W2056522133 hasPrimaryLocation W20565221331 @default.
- W2056522133 hasRelatedWork W1499676590 @default.
- W2056522133 hasRelatedWork W2056522133 @default.
- W2056522133 hasRelatedWork W2090446734 @default.
- W2056522133 hasRelatedWork W2131334283 @default.
- W2056522133 hasRelatedWork W2148549374 @default.
- W2056522133 hasRelatedWork W2352495365 @default.
- W2056522133 hasRelatedWork W2358028295 @default.
- W2056522133 hasRelatedWork W2369244966 @default.
- W2056522133 hasRelatedWork W2386066260 @default.
- W2056522133 hasRelatedWork W2468796127 @default.
- W2056522133 hasVolume "1" @default.
- W2056522133 isParatext "false" @default.
- W2056522133 isRetracted "false" @default.
- W2056522133 magId "2056522133" @default.
- W2056522133 workType "article" @default.