FRINK Linked Data Fragments server

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

• W29384094 endingPage "157" @default.
• W29384094 startingPage "146" @default.
• W29384094 abstract "We consider decision problems for deterministic pushdown automata over the unary alphabet (udpda, for short). Udpda are a simple computation model that accept exactly the unary regular languages, but can be exponentially more succinct than finite-state automata. We complete the complexity landscape for udpda by showing that emptiness (and thus universality) is P-hard, equivalence and compressed membership problems are P-complete, and inclusion is coNP-complete. Our upper bounds are based on a translation theorem between udpda and straight-line programs over the binary alphabet (SLPs). We show that the characteristic sequence of any udpda can be represented as a pair of SLPs—one for the prefix, one for the lasso—that have size linear in the size of the udpda and can be computed in polynomial time. Hence, decision problems on udpda are reduced to decision problems on SLPs. Conversely, any SLP can be converted in logarithmic space into a udpda, and this forms the basis for our lower bound proofs. We show coNP-hardness of the ordered matching problem for SLPs, from which we derive coNP-hardness for inclusion. In addition, we complete the complexity landscape for unary nondeterministic pushdown automata by showing that the universality problem is Π2 P-hard, using a new class of integer expressions. Our techniques have applications beyond udpda. We show that our results imply Π2 P-completeness for a natural fragment of Presburger arithmetic and coNP lower bounds for compressed matching problems with one-character wildcards." @default.
• W29384094 created "2016-06-24" @default.
• W29384094 creator A5081010207 @default.
• W29384094 creator A5082872998 @default.
• W29384094 date "2014-01-01" @default.
• W29384094 modified "2023-09-23" @default.
• W29384094 title "Unary Pushdown Automata and Straight-Line Programs" @default.
• W29384094 cites W1531106060 @default.
• W29384094 cites W1597956802 @default.
• W29384094 cites W1755286175 @default.
• W29384094 cites W1968015483 @default.
• W29384094 cites W1982206794 @default.
• W29384094 cites W1991034910 @default.
• W29384094 cites W1997488434 @default.
• W29384094 cites W1998084650 @default.
• W29384094 cites W1999647826 @default.
• W29384094 cites W2000118875 @default.
• W29384094 cites W2007431032 @default.
• W29384094 cites W2021009590 @default.
• W29384094 cites W2024130312 @default.
• W29384094 cites W2024522546 @default.
• W29384094 cites W2033607714 @default.
• W29384094 cites W2044079618 @default.
• W29384094 cites W2045344413 @default.
• W29384094 cites W2047107624 @default.
• W29384094 cites W2047588061 @default.
• W29384094 cites W2052653988 @default.
• W29384094 cites W2066012259 @default.
• W29384094 cites W2071228820 @default.
• W29384094 cites W2078130239 @default.
• W29384094 cites W2082494602 @default.
• W29384094 cites W2109548990 @default.
• W29384094 cites W2157148396 @default.
• W29384094 cites W2162593546 @default.
• W29384094 cites W2765659955 @default.
• W29384094 cites W4212838967 @default.
• W29384094 doi "https://doi.org/10.1007/978-3-662-43951-7_13" @default.
• W29384094 hasPublicationYear "2014" @default.
• W29384094 type Work @default.
• W29384094 sameAs 29384094 @default.
• W29384094 citedByCount "5" @default.
• W29384094 countsByYear W293840942014 @default.
• W29384094 countsByYear W293840942015 @default.
• W29384094 countsByYear W293840942017 @default.
• W29384094 crossrefType "book-chapter" @default.
• W29384094 hasAuthorship W29384094A5081010207 @default.
• W29384094 hasAuthorship W29384094A5082872998 @default.
• W29384094 hasBestOaLocation W293840942 @default.
• W29384094 hasConcept C112505250 @default.
• W29384094 hasConcept C11413529 @default.
• W29384094 hasConcept C114614502 @default.
• W29384094 hasConcept C115988155 @default.
• W29384094 hasConcept C116248031 @default.
• W29384094 hasConcept C118615104 @default.
• W29384094 hasConcept C121332964 @default.
• W29384094 hasConcept C158008952 @default.
• W29384094 hasConcept C167822520 @default.
• W29384094 hasConcept C183992945 @default.
• W29384094 hasConcept C311688 @default.
• W29384094 hasConcept C33923547 @default.
• W29384094 hasConcept C41008148 @default.
• W29384094 hasConcept C62520636 @default.
• W29384094 hasConcept C74919329 @default.
• W29384094 hasConcept C77944639 @default.
• W29384094 hasConcept C78023250 @default.
• W29384094 hasConcept C80444323 @default.
• W29384094 hasConceptScore W29384094C112505250 @default.
• W29384094 hasConceptScore W29384094C11413529 @default.
• W29384094 hasConceptScore W29384094C114614502 @default.
• W29384094 hasConceptScore W29384094C115988155 @default.
• W29384094 hasConceptScore W29384094C116248031 @default.
• W29384094 hasConceptScore W29384094C118615104 @default.
• W29384094 hasConceptScore W29384094C121332964 @default.
• W29384094 hasConceptScore W29384094C158008952 @default.
• W29384094 hasConceptScore W29384094C167822520 @default.
• W29384094 hasConceptScore W29384094C183992945 @default.
• W29384094 hasConceptScore W29384094C311688 @default.
• W29384094 hasConceptScore W29384094C33923547 @default.
• W29384094 hasConceptScore W29384094C41008148 @default.
• W29384094 hasConceptScore W29384094C62520636 @default.
• W29384094 hasConceptScore W29384094C74919329 @default.
• W29384094 hasConceptScore W29384094C77944639 @default.
• W29384094 hasConceptScore W29384094C78023250 @default.
• W29384094 hasConceptScore W29384094C80444323 @default.
• W29384094 hasLocation W293840941 @default.
• W29384094 hasLocation W293840942 @default.
• W29384094 hasLocation W293840943 @default.
• W29384094 hasOpenAccess W29384094 @default.
• W29384094 hasPrimaryLocation W293840941 @default.
• W29384094 hasRelatedWork W1486486721 @default.
• W29384094 hasRelatedWork W2039777175 @default.
• W29384094 hasRelatedWork W2041168146 @default.
• W29384094 hasRelatedWork W2044199853 @default.
• W29384094 hasRelatedWork W2092618327 @default.
• W29384094 hasRelatedWork W2909968134 @default.
• W29384094 hasRelatedWork W2952606101 @default.
• W29384094 hasRelatedWork W3133052492 @default.
• W29384094 hasRelatedWork W3196258201 @default.

• next