Matches in SemOpenAlex for { <https://semopenalex.org/work/W2922342170> ?p ?o ?g. }
- W2922342170 endingPage "430" @default.
- W2922342170 startingPage "417" @default.
- W2922342170 abstract "Edit distance ℓ-neighbourhood of a formal language is the set of all strings that can be transformed to one of the strings in this language by at most ℓ insertions and deletions. Both the regular and the context-free languages are known to be closed under this operation, whereas the family recognized by deterministic pushdown automata is not. This paper establishes the closure of the family recognized by input-driven pushdown automata (IDPDA), also known as visibly pushdown automata, under the edit distance neighbourhood operation. For an n-state nondeterministic IDPDA with n stack symbols, an automaton for its edit distance ℓ-neighbourhood using O(nℓ+1) states is constructed, and an asymptotically matching lower bound is established. For an n-state deterministic IDPDA, its 1-neighbourhood in the worst case requires a deterministic IDPDA with at least 2Ω(n2) states." @default.
- W2922342170 created "2019-03-22" @default.
- W2922342170 creator A5005683089 @default.
- W2922342170 creator A5009151151 @default.
- W2922342170 date "2019-07-01" @default.
- W2922342170 modified "2023-09-24" @default.
- W2922342170 title "Edit distance neighbourhoods of input-driven pushdown automata" @default.
- W2922342170 cites W1971471851 @default.
- W2922342170 cites W1985354313 @default.
- W2922342170 cites W1991821078 @default.
- W2922342170 cites W1996644214 @default.
- W2922342170 cites W2032759707 @default.
- W2922342170 cites W2046935329 @default.
- W2922342170 cites W2049216468 @default.
- W2922342170 cites W2061265323 @default.
- W2922342170 cites W2064749262 @default.
- W2922342170 cites W2079567772 @default.
- W2922342170 cites W2089385274 @default.
- W2922342170 cites W2117111784 @default.
- W2922342170 cites W2131886132 @default.
- W2922342170 cites W2168854371 @default.
- W2922342170 cites W2188317464 @default.
- W2922342170 cites W2258074816 @default.
- W2922342170 cites W2547353811 @default.
- W2922342170 cites W2585141159 @default.
- W2922342170 cites W2754370965 @default.
- W2922342170 cites W2797999682 @default.
- W2922342170 doi "https://doi.org/10.1016/j.tcs.2019.03.005" @default.
- W2922342170 hasPublicationYear "2019" @default.
- W2922342170 type Work @default.
- W2922342170 sameAs 2922342170 @default.
- W2922342170 citedByCount "4" @default.
- W2922342170 countsByYear W29223421702019 @default.
- W2922342170 countsByYear W29223421702021 @default.
- W2922342170 countsByYear W29223421702022 @default.
- W2922342170 countsByYear W29223421702023 @default.
- W2922342170 crossrefType "journal-article" @default.
- W2922342170 hasAuthorship W2922342170A5005683089 @default.
- W2922342170 hasAuthorship W2922342170A5009151151 @default.
- W2922342170 hasBestOaLocation W29223421701 @default.
- W2922342170 hasConcept C112505250 @default.
- W2922342170 hasConcept C114614502 @default.
- W2922342170 hasConcept C116248031 @default.
- W2922342170 hasConcept C118615104 @default.
- W2922342170 hasConcept C134083981 @default.
- W2922342170 hasConcept C134306372 @default.
- W2922342170 hasConcept C154945302 @default.
- W2922342170 hasConcept C158008952 @default.
- W2922342170 hasConcept C161677786 @default.
- W2922342170 hasConcept C174327141 @default.
- W2922342170 hasConcept C176181172 @default.
- W2922342170 hasConcept C177638518 @default.
- W2922342170 hasConcept C198838072 @default.
- W2922342170 hasConcept C27034413 @default.
- W2922342170 hasConcept C33923547 @default.
- W2922342170 hasConcept C41008148 @default.
- W2922342170 hasConcept C53893814 @default.
- W2922342170 hasConcept C74919329 @default.
- W2922342170 hasConcept C77944639 @default.
- W2922342170 hasConcept C80444323 @default.
- W2922342170 hasConcept C92117001 @default.
- W2922342170 hasConcept C97212296 @default.
- W2922342170 hasConceptScore W2922342170C112505250 @default.
- W2922342170 hasConceptScore W2922342170C114614502 @default.
- W2922342170 hasConceptScore W2922342170C116248031 @default.
- W2922342170 hasConceptScore W2922342170C118615104 @default.
- W2922342170 hasConceptScore W2922342170C134083981 @default.
- W2922342170 hasConceptScore W2922342170C134306372 @default.
- W2922342170 hasConceptScore W2922342170C154945302 @default.
- W2922342170 hasConceptScore W2922342170C158008952 @default.
- W2922342170 hasConceptScore W2922342170C161677786 @default.
- W2922342170 hasConceptScore W2922342170C174327141 @default.
- W2922342170 hasConceptScore W2922342170C176181172 @default.
- W2922342170 hasConceptScore W2922342170C177638518 @default.
- W2922342170 hasConceptScore W2922342170C198838072 @default.
- W2922342170 hasConceptScore W2922342170C27034413 @default.
- W2922342170 hasConceptScore W2922342170C33923547 @default.
- W2922342170 hasConceptScore W2922342170C41008148 @default.
- W2922342170 hasConceptScore W2922342170C53893814 @default.
- W2922342170 hasConceptScore W2922342170C74919329 @default.
- W2922342170 hasConceptScore W2922342170C77944639 @default.
- W2922342170 hasConceptScore W2922342170C80444323 @default.
- W2922342170 hasConceptScore W2922342170C92117001 @default.
- W2922342170 hasConceptScore W2922342170C97212296 @default.
- W2922342170 hasFunder F4320334593 @default.
- W2922342170 hasLocation W29223421701 @default.
- W2922342170 hasOpenAccess W2922342170 @default.
- W2922342170 hasPrimaryLocation W29223421701 @default.
- W2922342170 hasRelatedWork W1532525587 @default.
- W2922342170 hasRelatedWork W1565488213 @default.
- W2922342170 hasRelatedWork W2002663600 @default.
- W2922342170 hasRelatedWork W2078131135 @default.
- W2922342170 hasRelatedWork W2400988317 @default.
- W2922342170 hasRelatedWork W2620675909 @default.
- W2922342170 hasRelatedWork W32399579 @default.
- W2922342170 hasRelatedWork W4312600032 @default.
- W2922342170 hasRelatedWork W2513316208 @default.
- W2922342170 hasRelatedWork W2566194997 @default.