Matches in SemOpenAlex for { <https://semopenalex.org/work/W1966773178> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1966773178 endingPage "36" @default.
- W1966773178 startingPage "1" @default.
- W1966773178 abstract "There are two principal methods for turning regular expressions into NFA's — one due to McNaughton and Yamada and another due to Thompson. Unfortunately, both have drawbacks. Given a regular expression R of length r and with s occurrences of alphabet symbols, Chang and Paige (1992) and Brüggemann-Klein (1993) gave Θ(m + r) time and O(r) space algorithms to produce a Θ(m) space representation of McNaughton and Yamada's NFA with s + 1 states and m transitions. The problem with this NFA is that m = Θ(s2) in the worst case. Thompson's method takes Θ(r) time and space to construct a Θ(r) space NFA with Θ(r) states and Θ(r) transitions. The problem with this NFA is that r can be arbitrarily larger than s. We overcome drawbacks of both methods with a Θ(r) time Θ(s) space algorithm to construct an O(s) space representation of McNaughton and Yamada's NFA. Given any set V of NFA states, our representation can be used to compute the set U of states one transition away from the states in V in optimal time O(¦V¦ + ¦U¦). McNaughton and Yamada's NFA requires Θ(¦V¦ × ¦U¦) time in the worst case. Using Thompson's NFA, the equivalent calculation requires Θ(r) time in the worst case. Comparative benchmarks show that an implementation of our method outperforms implementations of competing methods with respect to time for NFA construction, NFA accepting testing, and NFA-to-DFA conversion by subset construction. Throughout this paper program transformations are used to design algorithms and derive programs. A transformation of special importance is a form of finite differencing used previously by Douglas Smith to improve the efficiency of functional programs." @default.
- W1966773178 created "2016-06-24" @default.
- W1966773178 creator A5046556784 @default.
- W1966773178 creator A5049661086 @default.
- W1966773178 date "1997-05-01" @default.
- W1966773178 modified "2023-09-27" @default.
- W1966773178 title "From regular expressions to DFA's using compressed NFA's" @default.
- W1966773178 cites W1559969643 @default.
- W1966773178 cites W2054801208 @default.
- W1966773178 cites W2064490449 @default.
- W1966773178 cites W2072607050 @default.
- W1966773178 cites W2086323458 @default.
- W1966773178 cites W2092860912 @default.
- W1966773178 cites W2099540492 @default.
- W1966773178 cites W2129414328 @default.
- W1966773178 cites W2156429182 @default.
- W1966773178 cites W2418656106 @default.
- W1966773178 doi "https://doi.org/10.1016/s0304-3975(96)00140-5" @default.
- W1966773178 hasPublicationYear "1997" @default.
- W1966773178 type Work @default.
- W1966773178 sameAs 1966773178 @default.
- W1966773178 citedByCount "55" @default.
- W1966773178 countsByYear W19667731782012 @default.
- W1966773178 countsByYear W19667731782013 @default.
- W1966773178 countsByYear W19667731782014 @default.
- W1966773178 countsByYear W19667731782015 @default.
- W1966773178 countsByYear W19667731782016 @default.
- W1966773178 countsByYear W19667731782017 @default.
- W1966773178 countsByYear W19667731782018 @default.
- W1966773178 countsByYear W19667731782019 @default.
- W1966773178 countsByYear W19667731782021 @default.
- W1966773178 countsByYear W19667731782022 @default.
- W1966773178 crossrefType "journal-article" @default.
- W1966773178 hasAuthorship W1966773178A5046556784 @default.
- W1966773178 hasAuthorship W1966773178A5049661086 @default.
- W1966773178 hasBestOaLocation W19667731781 @default.
- W1966773178 hasConcept C111919701 @default.
- W1966773178 hasConcept C11413529 @default.
- W1966773178 hasConcept C114614502 @default.
- W1966773178 hasConcept C118615104 @default.
- W1966773178 hasConcept C177264268 @default.
- W1966773178 hasConcept C17744445 @default.
- W1966773178 hasConcept C199360897 @default.
- W1966773178 hasConcept C199539241 @default.
- W1966773178 hasConcept C2776359362 @default.
- W1966773178 hasConcept C2778572836 @default.
- W1966773178 hasConcept C33923547 @default.
- W1966773178 hasConcept C41008148 @default.
- W1966773178 hasConcept C94375191 @default.
- W1966773178 hasConcept C94625758 @default.
- W1966773178 hasConceptScore W1966773178C111919701 @default.
- W1966773178 hasConceptScore W1966773178C11413529 @default.
- W1966773178 hasConceptScore W1966773178C114614502 @default.
- W1966773178 hasConceptScore W1966773178C118615104 @default.
- W1966773178 hasConceptScore W1966773178C177264268 @default.
- W1966773178 hasConceptScore W1966773178C17744445 @default.
- W1966773178 hasConceptScore W1966773178C199360897 @default.
- W1966773178 hasConceptScore W1966773178C199539241 @default.
- W1966773178 hasConceptScore W1966773178C2776359362 @default.
- W1966773178 hasConceptScore W1966773178C2778572836 @default.
- W1966773178 hasConceptScore W1966773178C33923547 @default.
- W1966773178 hasConceptScore W1966773178C41008148 @default.
- W1966773178 hasConceptScore W1966773178C94375191 @default.
- W1966773178 hasConceptScore W1966773178C94625758 @default.
- W1966773178 hasIssue "1-2" @default.
- W1966773178 hasLocation W19667731781 @default.
- W1966773178 hasOpenAccess W1966773178 @default.
- W1966773178 hasPrimaryLocation W19667731781 @default.
- W1966773178 hasRelatedWork W1978042415 @default.
- W1966773178 hasRelatedWork W1981618449 @default.
- W1966773178 hasRelatedWork W2047454787 @default.
- W1966773178 hasRelatedWork W2058171746 @default.
- W1966773178 hasRelatedWork W2324899973 @default.
- W1966773178 hasRelatedWork W2345600497 @default.
- W1966773178 hasRelatedWork W241866648 @default.
- W1966773178 hasRelatedWork W246755943 @default.
- W1966773178 hasRelatedWork W4281738046 @default.
- W1966773178 hasRelatedWork W78472231 @default.
- W1966773178 hasVolume "178" @default.
- W1966773178 isParatext "false" @default.
- W1966773178 isRetracted "false" @default.
- W1966773178 magId "1966773178" @default.
- W1966773178 workType "article" @default.