Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023552752> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2023552752 endingPage "250" @default.
- W2023552752 startingPage "247" @default.
- W2023552752 abstract "The family of languages recognized by deterministic input-driven pushdown automata (IDPDA; a.k.a. visibly pushdown automata, a.k.a. nested word automata) is known to be closed under concatenation, Kleene star and reversal (under natural assumptions on the partition of the alphabet). As shown by Alur and Madhusudan (2004) [2], the Kleene star and the reversal of an n-state IDPDA can be represented by an IDPDA with 2O(n2) states, while concatenation of an m-state and an n-state IDPDA is represented by an IDPDA with 2O((m+n)2) states. This paper presents more efficient constructions for the Kleene star and for the reversal, which yield 2Θ(nlogn) states, as well as an m2Θ(nlogn)-state construction for the concatenation. These constructions are optimal up to a factor in the exponent, due to the close lower bounds previously established by Piao and Salomaa (2009) [27]." @default.
- W2023552752 created "2016-06-24" @default.
- W2023552752 creator A5031636382 @default.
- W2023552752 date "1988-01-01" @default.
- W2023552752 modified "2023-10-16" @default.
- W2023552752 title "Input-driven languages are in log n depth" @default.
- W2023552752 cites W1987971864 @default.
- W2023552752 cites W1995502606 @default.
- W2023552752 cites W2009571139 @default.
- W2023552752 cites W2027501230 @default.
- W2023552752 cites W2050655409 @default.
- W2023552752 cites W2084764151 @default.
- W2023552752 cites W4241108585 @default.
- W2023552752 doi "https://doi.org/10.1016/0020-0190(88)90148-2" @default.
- W2023552752 hasPublicationYear "1988" @default.
- W2023552752 type Work @default.
- W2023552752 sameAs 2023552752 @default.
- W2023552752 citedByCount "42" @default.
- W2023552752 countsByYear W20235527522012 @default.
- W2023552752 countsByYear W20235527522013 @default.
- W2023552752 countsByYear W20235527522014 @default.
- W2023552752 countsByYear W20235527522015 @default.
- W2023552752 countsByYear W20235527522016 @default.
- W2023552752 countsByYear W20235527522017 @default.
- W2023552752 countsByYear W20235527522018 @default.
- W2023552752 countsByYear W20235527522019 @default.
- W2023552752 countsByYear W20235527522021 @default.
- W2023552752 countsByYear W20235527522022 @default.
- W2023552752 countsByYear W20235527522023 @default.
- W2023552752 crossrefType "journal-article" @default.
- W2023552752 hasAuthorship W2023552752A5031636382 @default.
- W2023552752 hasConcept C112505250 @default.
- W2023552752 hasConcept C112876837 @default.
- W2023552752 hasConcept C11413529 @default.
- W2023552752 hasConcept C114614502 @default.
- W2023552752 hasConcept C118615104 @default.
- W2023552752 hasConcept C134306372 @default.
- W2023552752 hasConcept C138885662 @default.
- W2023552752 hasConcept C2780897414 @default.
- W2023552752 hasConcept C33923547 @default.
- W2023552752 hasConcept C41008148 @default.
- W2023552752 hasConcept C41895202 @default.
- W2023552752 hasConcept C42812 @default.
- W2023552752 hasConcept C48103436 @default.
- W2023552752 hasConcept C52370388 @default.
- W2023552752 hasConcept C80444323 @default.
- W2023552752 hasConcept C87619178 @default.
- W2023552752 hasConceptScore W2023552752C112505250 @default.
- W2023552752 hasConceptScore W2023552752C112876837 @default.
- W2023552752 hasConceptScore W2023552752C11413529 @default.
- W2023552752 hasConceptScore W2023552752C114614502 @default.
- W2023552752 hasConceptScore W2023552752C118615104 @default.
- W2023552752 hasConceptScore W2023552752C134306372 @default.
- W2023552752 hasConceptScore W2023552752C138885662 @default.
- W2023552752 hasConceptScore W2023552752C2780897414 @default.
- W2023552752 hasConceptScore W2023552752C33923547 @default.
- W2023552752 hasConceptScore W2023552752C41008148 @default.
- W2023552752 hasConceptScore W2023552752C41895202 @default.
- W2023552752 hasConceptScore W2023552752C42812 @default.
- W2023552752 hasConceptScore W2023552752C48103436 @default.
- W2023552752 hasConceptScore W2023552752C52370388 @default.
- W2023552752 hasConceptScore W2023552752C80444323 @default.
- W2023552752 hasConceptScore W2023552752C87619178 @default.
- W2023552752 hasIssue "5" @default.
- W2023552752 hasLocation W20235527521 @default.
- W2023552752 hasOpenAccess W2023552752 @default.
- W2023552752 hasPrimaryLocation W20235527521 @default.
- W2023552752 hasRelatedWork W1495564774 @default.
- W2023552752 hasRelatedWork W1607287758 @default.
- W2023552752 hasRelatedWork W2064508306 @default.
- W2023552752 hasRelatedWork W2078679422 @default.
- W2023552752 hasRelatedWork W2492942125 @default.
- W2023552752 hasRelatedWork W2588532775 @default.
- W2023552752 hasRelatedWork W2620973848 @default.
- W2023552752 hasRelatedWork W2869710707 @default.
- W2023552752 hasRelatedWork W2950141706 @default.
- W2023552752 hasRelatedWork W3049285863 @default.
- W2023552752 hasVolume "26" @default.
- W2023552752 isParatext "false" @default.
- W2023552752 isRetracted "false" @default.
- W2023552752 magId "2023552752" @default.
- W2023552752 workType "article" @default.