FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3132391476> ?p ?o ?g. }

• W3132391476 abstract "We study the dynamic membership problem for regular languages: fix a language L, read a word w, build in time O(|w|) a data structure indicating if w is in L, and maintain this structure efficiently under letter substitutions on w. We consider this problem on the unit cost RAM model with logarithmic word length, where the problem always has a solution in O(log |w| / log log |w|) per operation. We show that the problem is in O(log log |w|) for languages in an algebraically-defined, decidable class QSG, and that it is in O(1) for another such class QLZG. We show that languages not in QSG admit a reduction from the prefix problem for a cyclic group, so that they require {Omega}(log |w| / log log |w|) operations in the worst case; and that QSG languages not in QLZG admit a reduction from the prefix problem for the multiplicative monoid U 1 = {0, 1}, which we conjecture cannot be maintained in O(1). This yields a conditional trichotomy. We also investigate intermediate cases between O(1) and O(log log |w|). Our results are shown via the dynamic word problem for monoids and semigroups, for which we also give a classification. We thus solve open problems of the paper of Skovbjerg Frandsen, Miltersen, and Skyum [30] on the dynamic word problem, and additionally cover regular languages." @default.
• W3132391476 created "2021-03-01" @default.
• W3132391476 creator A5003960537 @default.
• W3132391476 creator A5021785658 @default.
• W3132391476 creator A5090662550 @default.
• W3132391476 date "2021-02-15" @default.
• W3132391476 modified "2023-10-01" @default.
• W3132391476 title "Dynamic Membership for Regular Languages" @default.
• W3132391476 cites W1542056145 @default.
• W3132391476 cites W1979726029 @default.
• W3132391476 cites W1986261983 @default.
• W3132391476 cites W2015323532 @default.
• W3132391476 cites W2027683388 @default.
• W3132391476 cites W2056330738 @default.
• W3132391476 cites W2065599266 @default.
• W3132391476 cites W2089620427 @default.
• W3132391476 cites W2132100280 @default.
• W3132391476 cites W2366029216 @default.
• W3132391476 cites W2575668514 @default.
• W3132391476 cites W2624301084 @default.
• W3132391476 cites W2788387635 @default.
• W3132391476 cites W2964075115 @default.
• W3132391476 cites W2990852733 @default.
• W3132391476 cites W3139630794 @default.
• W3132391476 cites W3185894269 @default.
• W3132391476 hasPublicationYear "2021" @default.
• W3132391476 type Work @default.
• W3132391476 sameAs 3132391476 @default.
• W3132391476 citedByCount "0" @default.
• W3132391476 crossrefType "posted-content" @default.
• W3132391476 hasAuthorship W3132391476A5003960537 @default.
• W3132391476 hasAuthorship W3132391476A5021785658 @default.
• W3132391476 hasAuthorship W3132391476A5090662550 @default.
• W3132391476 hasConcept C111335779 @default.
• W3132391476 hasConcept C114614502 @default.
• W3132391476 hasConcept C118615104 @default.
• W3132391476 hasConcept C121332964 @default.
• W3132391476 hasConcept C134306372 @default.
• W3132391476 hasConcept C138885662 @default.
• W3132391476 hasConcept C141603448 @default.
• W3132391476 hasConcept C153269930 @default.
• W3132391476 hasConcept C195292467 @default.
• W3132391476 hasConcept C206901836 @default.
• W3132391476 hasConcept C2524010 @default.
• W3132391476 hasConcept C2779557605 @default.
• W3132391476 hasConcept C2780233049 @default.
• W3132391476 hasConcept C2780990831 @default.
• W3132391476 hasConcept C311688 @default.
• W3132391476 hasConcept C33923547 @default.
• W3132391476 hasConcept C39927690 @default.
• W3132391476 hasConcept C41895202 @default.
• W3132391476 hasConcept C42747912 @default.
• W3132391476 hasConcept C62520636 @default.
• W3132391476 hasConcept C63553672 @default.
• W3132391476 hasConcept C90805587 @default.
• W3132391476 hasConceptScore W3132391476C111335779 @default.
• W3132391476 hasConceptScore W3132391476C114614502 @default.
• W3132391476 hasConceptScore W3132391476C118615104 @default.
• W3132391476 hasConceptScore W3132391476C121332964 @default.
• W3132391476 hasConceptScore W3132391476C134306372 @default.
• W3132391476 hasConceptScore W3132391476C138885662 @default.
• W3132391476 hasConceptScore W3132391476C141603448 @default.
• W3132391476 hasConceptScore W3132391476C153269930 @default.
• W3132391476 hasConceptScore W3132391476C195292467 @default.
• W3132391476 hasConceptScore W3132391476C206901836 @default.
• W3132391476 hasConceptScore W3132391476C2524010 @default.
• W3132391476 hasConceptScore W3132391476C2779557605 @default.
• W3132391476 hasConceptScore W3132391476C2780233049 @default.
• W3132391476 hasConceptScore W3132391476C2780990831 @default.
• W3132391476 hasConceptScore W3132391476C311688 @default.
• W3132391476 hasConceptScore W3132391476C33923547 @default.
• W3132391476 hasConceptScore W3132391476C39927690 @default.
• W3132391476 hasConceptScore W3132391476C41895202 @default.
• W3132391476 hasConceptScore W3132391476C42747912 @default.
• W3132391476 hasConceptScore W3132391476C62520636 @default.
• W3132391476 hasConceptScore W3132391476C63553672 @default.
• W3132391476 hasConceptScore W3132391476C90805587 @default.
• W3132391476 hasLocation W31323914761 @default.
• W3132391476 hasOpenAccess W3132391476 @default.
• W3132391476 hasPrimaryLocation W31323914761 @default.
• W3132391476 hasRelatedWork W1503154721 @default.
• W3132391476 hasRelatedWork W1532161034 @default.
• W3132391476 hasRelatedWork W1604668747 @default.
• W3132391476 hasRelatedWork W1976140212 @default.
• W3132391476 hasRelatedWork W2006337571 @default.
• W3132391476 hasRelatedWork W2075639491 @default.
• W3132391476 hasRelatedWork W2237684820 @default.
• W3132391476 hasRelatedWork W2296356239 @default.
• W3132391476 hasRelatedWork W2399352552 @default.
• W3132391476 hasRelatedWork W2618190110 @default.
• W3132391476 hasRelatedWork W2757393011 @default.
• W3132391476 hasRelatedWork W2786027158 @default.
• W3132391476 hasRelatedWork W2905315630 @default.
• W3132391476 hasRelatedWork W2912538643 @default.
• W3132391476 hasRelatedWork W2951330448 @default.
• W3132391476 hasRelatedWork W2953657152 @default.
• W3132391476 hasRelatedWork W2963964662 @default.
• W3132391476 hasRelatedWork W2964288276 @default.
• W3132391476 hasRelatedWork W2996903179 @default.
• W3132391476 hasRelatedWork W3002181530 @default.

• next