Matches in SemOpenAlex for { <https://semopenalex.org/work/W1814277478> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1814277478 endingPage "263" @default.
- W1814277478 startingPage "251" @default.
- W1814277478 abstract "Visibly Pushdown Transducers (VPT) form a subclass of pushdown transducers. In this paper, we investigate the extension of VPT with visibly pushdown look-ahead (VPT la ). Their transitions are guarded by visibly pushdown automata that can check whether the well-nested subword starting at the current position belongs to the language they define. First, we show that VPT la are not more expressive than VPT, but are exponentially more succinct. Second, we show that the class of deterministic VPT la corresponds exactly to the class of functional VPT, yielding a simple characterization of functional VPT. Finally, we show that while VPT la are exponentially more succinct than VPT, checking equivalence of functional VPT la is, as for VPT, ExpT-C. As a consequence, we show that any functional VPT is equivalent to an unambiguous one." @default.
- W1814277478 created "2016-06-24" @default.
- W1814277478 creator A5047834761 @default.
- W1814277478 creator A5049821685 @default.
- W1814277478 date "2012-01-01" @default.
- W1814277478 modified "2023-10-17" @default.
- W1814277478 title "Visibly Pushdown Transducers with Look-Ahead" @default.
- W1814277478 cites W1570372713 @default.
- W1814277478 cites W1599939219 @default.
- W1814277478 cites W1965306495 @default.
- W1814277478 cites W1988343205 @default.
- W1814277478 cites W2004367544 @default.
- W1814277478 cites W2021885035 @default.
- W1814277478 cites W2035285350 @default.
- W1814277478 cites W2059078591 @default.
- W1814277478 cites W2093382104 @default.
- W1814277478 cites W2099205674 @default.
- W1814277478 cites W2100590693 @default.
- W1814277478 cites W2131886132 @default.
- W1814277478 cites W2151033407 @default.
- W1814277478 doi "https://doi.org/10.1007/978-3-642-27660-6_21" @default.
- W1814277478 hasPublicationYear "2012" @default.
- W1814277478 type Work @default.
- W1814277478 sameAs 1814277478 @default.
- W1814277478 citedByCount "8" @default.
- W1814277478 countsByYear W18142774782013 @default.
- W1814277478 countsByYear W18142774782014 @default.
- W1814277478 countsByYear W18142774782016 @default.
- W1814277478 countsByYear W18142774782017 @default.
- W1814277478 countsByYear W18142774782022 @default.
- W1814277478 crossrefType "book-chapter" @default.
- W1814277478 hasAuthorship W1814277478A5047834761 @default.
- W1814277478 hasAuthorship W1814277478A5049821685 @default.
- W1814277478 hasBestOaLocation W18142774783 @default.
- W1814277478 hasConcept C112505250 @default.
- W1814277478 hasConcept C11413529 @default.
- W1814277478 hasConcept C116248031 @default.
- W1814277478 hasConcept C118615104 @default.
- W1814277478 hasConcept C138885662 @default.
- W1814277478 hasConcept C154945302 @default.
- W1814277478 hasConcept C158008952 @default.
- W1814277478 hasConcept C199360897 @default.
- W1814277478 hasConcept C2777212361 @default.
- W1814277478 hasConcept C2778029271 @default.
- W1814277478 hasConcept C2780069185 @default.
- W1814277478 hasConcept C2988012377 @default.
- W1814277478 hasConcept C33923547 @default.
- W1814277478 hasConcept C41008148 @default.
- W1814277478 hasConcept C41895202 @default.
- W1814277478 hasConcept C74919329 @default.
- W1814277478 hasConcept C77944639 @default.
- W1814277478 hasConcept C80444323 @default.
- W1814277478 hasConceptScore W1814277478C112505250 @default.
- W1814277478 hasConceptScore W1814277478C11413529 @default.
- W1814277478 hasConceptScore W1814277478C116248031 @default.
- W1814277478 hasConceptScore W1814277478C118615104 @default.
- W1814277478 hasConceptScore W1814277478C138885662 @default.
- W1814277478 hasConceptScore W1814277478C154945302 @default.
- W1814277478 hasConceptScore W1814277478C158008952 @default.
- W1814277478 hasConceptScore W1814277478C199360897 @default.
- W1814277478 hasConceptScore W1814277478C2777212361 @default.
- W1814277478 hasConceptScore W1814277478C2778029271 @default.
- W1814277478 hasConceptScore W1814277478C2780069185 @default.
- W1814277478 hasConceptScore W1814277478C2988012377 @default.
- W1814277478 hasConceptScore W1814277478C33923547 @default.
- W1814277478 hasConceptScore W1814277478C41008148 @default.
- W1814277478 hasConceptScore W1814277478C41895202 @default.
- W1814277478 hasConceptScore W1814277478C74919329 @default.
- W1814277478 hasConceptScore W1814277478C77944639 @default.
- W1814277478 hasConceptScore W1814277478C80444323 @default.
- W1814277478 hasLocation W18142774781 @default.
- W1814277478 hasLocation W18142774782 @default.
- W1814277478 hasLocation W18142774783 @default.
- W1814277478 hasLocation W18142774784 @default.
- W1814277478 hasLocation W18142774785 @default.
- W1814277478 hasLocation W18142774786 @default.
- W1814277478 hasOpenAccess W1814277478 @default.
- W1814277478 hasPrimaryLocation W18142774781 @default.
- W1814277478 hasRelatedWork W1518704718 @default.
- W1814277478 hasRelatedWork W1541953080 @default.
- W1814277478 hasRelatedWork W1989948713 @default.
- W1814277478 hasRelatedWork W2002023748 @default.
- W1814277478 hasRelatedWork W2041168146 @default.
- W1814277478 hasRelatedWork W2067895928 @default.
- W1814277478 hasRelatedWork W2131390643 @default.
- W1814277478 hasRelatedWork W218528102 @default.
- W1814277478 hasRelatedWork W2186244857 @default.
- W1814277478 hasRelatedWork W3105591226 @default.
- W1814277478 isParatext "false" @default.
- W1814277478 isRetracted "false" @default.
- W1814277478 magId "1814277478" @default.
- W1814277478 workType "book-chapter" @default.