FRINK Linked Data Fragments server

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

• W2798622610 abstract "Piecewise testable languages are a subclass of the regular languages. There are many equivalent ways of defining them; Simon's congruence $sim_k$ is one of the most classical approaches. Two words are $sim_k$-equivalent if they have the same set of (scattered) subwords of length at most k. A language L is piecewise testable if there exists some k such that L is a union of $sim_k$-classes. For each equivalence class of $sim_k$, one can define a canonical representative in shortlex normal form, that is, the minimal word with respect to the lexicographic order among the shortest words in $sim_k$. We present an algorithm for computing the canonical representative of the $sim_k$-class of a given word $w in A^*$ of length n. The running time of our algorithm is in O(|A|n) even if $k le n$ is part of the input. This is surprising since the number of possible subwords grows exponentially in k. The case $k > n$ is not interesting since then, the equivalence class of w is a singleton. If the alphabet is fixed, the running time of our algorithm is linear in the size of the input word. Moreover, for fixed alphabet, we show that the computation of shortlex normal forms for $sim_k$ is possible in deterministic logarithmic space. One of the consequences of our algorithm is that one can check with the same complexity whether two words are $sim_k$-equivalent (with k being part of the input)." @default.
• W2798622610 created "2018-05-07" @default.
• W2798622610 creator A5040878363 @default.
• W2798622610 creator A5055386769 @default.
• W2798622610 date "2018-04-27" @default.
• W2798622610 modified "2023-09-27" @default.
• W2798622610 title "Testing Simon's congruence" @default.
• W2798622610 cites W1145240173 @default.
• W2798622610 cites W1494501847 @default.
• W2798622610 cites W1521674074 @default.
• W2798622610 cites W1533338086 @default.
• W2798622610 cites W1534927294 @default.
• W2798622610 cites W1569134317 @default.
• W2798622610 cites W1662195770 @default.
• W2798622610 cites W2013085432 @default.
• W2798622610 cites W2027683388 @default.
• W2798622610 cites W2054241966 @default.
• W2798622610 cites W2076508310 @default.
• W2798622610 cites W2134409166 @default.
• W2798622610 cites W2162894853 @default.
• W2798622610 cites W2285315733 @default.
• W2798622610 cites W2772445731 @default.
• W2798622610 cites W59040099 @default.
• W2798622610 hasPublicationYear "2018" @default.
• W2798622610 type Work @default.
• W2798622610 sameAs 2798622610 @default.
• W2798622610 citedByCount "0" @default.
• W2798622610 crossrefType "posted-content" @default.
• W2798622610 hasAuthorship W2798622610A5040878363 @default.
• W2798622610 hasAuthorship W2798622610A5055386769 @default.
• W2798622610 hasConcept C10138342 @default.
• W2798622610 hasConcept C112505250 @default.
• W2798622610 hasConcept C112876837 @default.
• W2798622610 hasConcept C114614502 @default.
• W2798622610 hasConcept C117354338 @default.
• W2798622610 hasConcept C118615104 @default.
• W2798622610 hasConcept C132074034 @default.
• W2798622610 hasConcept C134306372 @default.
• W2798622610 hasConcept C138885662 @default.
• W2798622610 hasConcept C154945302 @default.
• W2798622610 hasConcept C159254197 @default.
• W2798622610 hasConcept C162324750 @default.
• W2798622610 hasConcept C182306322 @default.
• W2798622610 hasConcept C2524010 @default.
• W2798622610 hasConcept C2779234561 @default.
• W2798622610 hasConcept C33923547 @default.
• W2798622610 hasConcept C39927690 @default.
• W2798622610 hasConcept C41008148 @default.
• W2798622610 hasConcept C41895202 @default.
• W2798622610 hasConcept C52370388 @default.
• W2798622610 hasConcept C54355233 @default.
• W2798622610 hasConcept C86803240 @default.
• W2798622610 hasConcept C90805587 @default.
• W2798622610 hasConceptScore W2798622610C10138342 @default.
• W2798622610 hasConceptScore W2798622610C112505250 @default.
• W2798622610 hasConceptScore W2798622610C112876837 @default.
• W2798622610 hasConceptScore W2798622610C114614502 @default.
• W2798622610 hasConceptScore W2798622610C117354338 @default.
• W2798622610 hasConceptScore W2798622610C118615104 @default.
• W2798622610 hasConceptScore W2798622610C132074034 @default.
• W2798622610 hasConceptScore W2798622610C134306372 @default.
• W2798622610 hasConceptScore W2798622610C138885662 @default.
• W2798622610 hasConceptScore W2798622610C154945302 @default.
• W2798622610 hasConceptScore W2798622610C159254197 @default.
• W2798622610 hasConceptScore W2798622610C162324750 @default.
• W2798622610 hasConceptScore W2798622610C182306322 @default.
• W2798622610 hasConceptScore W2798622610C2524010 @default.
• W2798622610 hasConceptScore W2798622610C2779234561 @default.
• W2798622610 hasConceptScore W2798622610C33923547 @default.
• W2798622610 hasConceptScore W2798622610C39927690 @default.
• W2798622610 hasConceptScore W2798622610C41008148 @default.
• W2798622610 hasConceptScore W2798622610C41895202 @default.
• W2798622610 hasConceptScore W2798622610C52370388 @default.
• W2798622610 hasConceptScore W2798622610C54355233 @default.
• W2798622610 hasConceptScore W2798622610C86803240 @default.
• W2798622610 hasConceptScore W2798622610C90805587 @default.
• W2798622610 hasLocation W27986226101 @default.
• W2798622610 hasOpenAccess W2798622610 @default.
• W2798622610 hasPrimaryLocation W27986226101 @default.
• W2798622610 hasRelatedWork W115672173 @default.
• W2798622610 hasRelatedWork W1489701161 @default.
• W2798622610 hasRelatedWork W1509542583 @default.
• W2798622610 hasRelatedWork W1517540643 @default.
• W2798622610 hasRelatedWork W1878924220 @default.
• W2798622610 hasRelatedWork W1992850142 @default.
• W2798622610 hasRelatedWork W2019924312 @default.
• W2798622610 hasRelatedWork W2056884477 @default.
• W2798622610 hasRelatedWork W2097553438 @default.
• W2798622610 hasRelatedWork W2104729526 @default.
• W2798622610 hasRelatedWork W2124005012 @default.
• W2798622610 hasRelatedWork W2569682947 @default.
• W2798622610 hasRelatedWork W2785657561 @default.
• W2798622610 hasRelatedWork W2906838315 @default.
• W2798622610 hasRelatedWork W2963062403 @default.
• W2798622610 hasRelatedWork W2964301491 @default.
• W2798622610 hasRelatedWork W3135887889 @default.
• W2798622610 hasRelatedWork W3185894269 @default.
• W2798622610 hasRelatedWork W62349956 @default.
• W2798622610 hasRelatedWork W2584362472 @default.
• W2798622610 isParatext "false" @default.

• next