Matches in SemOpenAlex for { <https://semopenalex.org/work/W1755286175> ?p ?o ?g. }
- W1755286175 endingPage "718" @default.
- W1755286175 startingPage "685" @default.
- W1755286175 abstract "In this paper, a compressed membership problem for finite automata, both deterministic and non-deterministic, with compressed transition labels is studied. The compression is represented by straight-line programs (SLPs), i.e. context-free grammars generating exactly one string. A novel technique of dealing with SLPs is introduced: the SLPs are recompressed, so that substrings of the input text are encoded in SLPs labelling the transitions of the NFA (DFA) in the same way, as in the SLP representing the input text. To this end, the SLPs are locally decompressed and then recompressed in a uniform way. Furthermore, such recompression induces only small changes in the automaton, in particular, the size of the automaton remains polynomial. Using this technique it is shown that the compressed membership for NFA with compressed labels is in NP, thus confirming the conjecture of Plandowski and Rytter and extending the partial result of Lohrey and Mathissen; as it is already known, that this problem is NP-hard, we settle its exact computational complexity. Moreover, the same technique applied to the compressed membership for DFA with compressed labels yields that this problem is in P; for this problem, only trivial upper-bound PSPACE was known." @default.
- W1755286175 created "2016-06-24" @default.
- W1755286175 creator A5066525178 @default.
- W1755286175 date "2013-01-18" @default.
- W1755286175 modified "2023-10-11" @default.
- W1755286175 title "The Complexity of Compressed Membership Problems for Finite Automata" @default.
- W1755286175 cites W1597956802 @default.
- W1755286175 cites W1973608346 @default.
- W1755286175 cites W1974400533 @default.
- W1755286175 cites W1987022760 @default.
- W1755286175 cites W1997037354 @default.
- W1755286175 cites W2005335312 @default.
- W1755286175 cites W2024522546 @default.
- W1755286175 cites W2028685566 @default.
- W1755286175 cites W2043641704 @default.
- W1755286175 cites W2052224223 @default.
- W1755286175 cites W2052653988 @default.
- W1755286175 cites W2113004376 @default.
- W1755286175 cites W2131264963 @default.
- W1755286175 cites W3085766221 @default.
- W1755286175 cites W3138321435 @default.
- W1755286175 doi "https://doi.org/10.1007/s00224-013-9443-6" @default.
- W1755286175 hasPublicationYear "2013" @default.
- W1755286175 type Work @default.
- W1755286175 sameAs 1755286175 @default.
- W1755286175 citedByCount "14" @default.
- W1755286175 countsByYear W17552861752013 @default.
- W1755286175 countsByYear W17552861752014 @default.
- W1755286175 countsByYear W17552861752015 @default.
- W1755286175 countsByYear W17552861752016 @default.
- W1755286175 countsByYear W17552861752019 @default.
- W1755286175 countsByYear W17552861752020 @default.
- W1755286175 countsByYear W17552861752022 @default.
- W1755286175 countsByYear W17552861752023 @default.
- W1755286175 crossrefType "journal-article" @default.
- W1755286175 hasAuthorship W1755286175A5066525178 @default.
- W1755286175 hasBestOaLocation W17552861751 @default.
- W1755286175 hasConcept C104091681 @default.
- W1755286175 hasConcept C112505250 @default.
- W1755286175 hasConcept C11413529 @default.
- W1755286175 hasConcept C114614502 @default.
- W1755286175 hasConcept C116248031 @default.
- W1755286175 hasConcept C118615104 @default.
- W1755286175 hasConcept C121332964 @default.
- W1755286175 hasConcept C134306372 @default.
- W1755286175 hasConcept C151730666 @default.
- W1755286175 hasConcept C157486923 @default.
- W1755286175 hasConcept C158008952 @default.
- W1755286175 hasConcept C162319229 @default.
- W1755286175 hasConcept C167822520 @default.
- W1755286175 hasConcept C180016635 @default.
- W1755286175 hasConcept C182407805 @default.
- W1755286175 hasConcept C199360897 @default.
- W1755286175 hasConcept C2779343474 @default.
- W1755286175 hasConcept C311688 @default.
- W1755286175 hasConcept C33923547 @default.
- W1755286175 hasConcept C37914503 @default.
- W1755286175 hasConcept C41008148 @default.
- W1755286175 hasConcept C65753522 @default.
- W1755286175 hasConcept C77553402 @default.
- W1755286175 hasConcept C80444323 @default.
- W1755286175 hasConcept C86803240 @default.
- W1755286175 hasConcept C97355855 @default.
- W1755286175 hasConceptScore W1755286175C104091681 @default.
- W1755286175 hasConceptScore W1755286175C112505250 @default.
- W1755286175 hasConceptScore W1755286175C11413529 @default.
- W1755286175 hasConceptScore W1755286175C114614502 @default.
- W1755286175 hasConceptScore W1755286175C116248031 @default.
- W1755286175 hasConceptScore W1755286175C118615104 @default.
- W1755286175 hasConceptScore W1755286175C121332964 @default.
- W1755286175 hasConceptScore W1755286175C134306372 @default.
- W1755286175 hasConceptScore W1755286175C151730666 @default.
- W1755286175 hasConceptScore W1755286175C157486923 @default.
- W1755286175 hasConceptScore W1755286175C158008952 @default.
- W1755286175 hasConceptScore W1755286175C162319229 @default.
- W1755286175 hasConceptScore W1755286175C167822520 @default.
- W1755286175 hasConceptScore W1755286175C180016635 @default.
- W1755286175 hasConceptScore W1755286175C182407805 @default.
- W1755286175 hasConceptScore W1755286175C199360897 @default.
- W1755286175 hasConceptScore W1755286175C2779343474 @default.
- W1755286175 hasConceptScore W1755286175C311688 @default.
- W1755286175 hasConceptScore W1755286175C33923547 @default.
- W1755286175 hasConceptScore W1755286175C37914503 @default.
- W1755286175 hasConceptScore W1755286175C41008148 @default.
- W1755286175 hasConceptScore W1755286175C65753522 @default.
- W1755286175 hasConceptScore W1755286175C77553402 @default.
- W1755286175 hasConceptScore W1755286175C80444323 @default.
- W1755286175 hasConceptScore W1755286175C86803240 @default.
- W1755286175 hasConceptScore W1755286175C97355855 @default.
- W1755286175 hasIssue "4" @default.
- W1755286175 hasLocation W17552861751 @default.
- W1755286175 hasLocation W17552861752 @default.
- W1755286175 hasLocation W17552861753 @default.
- W1755286175 hasLocation W17552861754 @default.
- W1755286175 hasOpenAccess W1755286175 @default.
- W1755286175 hasPrimaryLocation W17552861751 @default.
- W1755286175 hasRelatedWork W1529714626 @default.
- W1755286175 hasRelatedWork W2031137635 @default.