Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048443337> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2048443337 abstract "Courcelle (1992) proposed the idea of using logic, in particular Monadic second-order logic (MSO), to define graph to graph transformations. Transducers, on the other hand, are executable machine models to define transformations, and are typically studied in the context of string-to-string transformations. Engelfriet and Hoogeboom (2001) studied two-way finite state string-to-string transducers and showed that their expressiveness matches MSO-definable transformations (MSOT). Alur and Cerny (2011) presented streaming transducers-one-way transducers equipped with multiple registers that can store output strings, as an equi-expressive model. Natural generalizations of streaming transducers to string-to-tree (Alur and D'Antoni, 2012) and infinite-string-to-string (Alur, Filiot, and Trivedi, 2012) cases preserve MSO-expressiveness. While earlier reductions from MSOT to streaming transducers used two-way transducers as the intermediate model, we revisit the earlier reductions in a more general, and previously unexplored, setting of infinite-string-to-tree transformations, and provide a direct reduction. Proof techniques used for this new reduction exploit the conceptual tools (composition theorem and finite additive coloring theorem) presented by Shelah (1975) in his alternative proof of Bϋchi's theorem. Using such streaming string-to-tree transducers we show the decidability of functional equivalence for MSO-definable infinite-string-to-tree transducers." @default.
- W2048443337 created "2016-06-24" @default.
- W2048443337 creator A5020302140 @default.
- W2048443337 creator A5064924625 @default.
- W2048443337 creator A5065059795 @default.
- W2048443337 date "2013-06-01" @default.
- W2048443337 modified "2023-09-26" @default.
- W2048443337 title "From Monadic Second-Order Definable String Transformations to Transducers" @default.
- W2048443337 cites W1496394707 @default.
- W2048443337 cites W1511526676 @default.
- W2048443337 cites W1623604111 @default.
- W2048443337 cites W1983682288 @default.
- W2048443337 cites W1993698725 @default.
- W2048443337 cites W2002089154 @default.
- W2048443337 cites W2019932899 @default.
- W2048443337 cites W2032823354 @default.
- W2048443337 cites W2054801208 @default.
- W2048443337 cites W2057968642 @default.
- W2048443337 cites W2062792526 @default.
- W2048443337 cites W2081806129 @default.
- W2048443337 cites W2094912129 @default.
- W2048443337 cites W2106181999 @default.
- W2048443337 cites W2131742729 @default.
- W2048443337 cites W2138856440 @default.
- W2048443337 cites W2764317813 @default.
- W2048443337 cites W2984771501 @default.
- W2048443337 doi "https://doi.org/10.1109/lics.2013.52" @default.
- W2048443337 hasPublicationYear "2013" @default.
- W2048443337 type Work @default.
- W2048443337 sameAs 2048443337 @default.
- W2048443337 citedByCount "6" @default.
- W2048443337 countsByYear W20484433372014 @default.
- W2048443337 countsByYear W20484433372015 @default.
- W2048443337 countsByYear W20484433372016 @default.
- W2048443337 countsByYear W20484433372017 @default.
- W2048443337 countsByYear W20484433372018 @default.
- W2048443337 crossrefType "proceedings-article" @default.
- W2048443337 hasAuthorship W2048443337A5020302140 @default.
- W2048443337 hasAuthorship W2048443337A5064924625 @default.
- W2048443337 hasAuthorship W2048443337A5065059795 @default.
- W2048443337 hasConcept C111335779 @default.
- W2048443337 hasConcept C118615104 @default.
- W2048443337 hasConcept C132525143 @default.
- W2048443337 hasConcept C153269930 @default.
- W2048443337 hasConcept C157486923 @default.
- W2048443337 hasConcept C2524010 @default.
- W2048443337 hasConcept C2780069185 @default.
- W2048443337 hasConcept C33923547 @default.
- W2048443337 hasConcept C37914503 @default.
- W2048443337 hasConcept C41008148 @default.
- W2048443337 hasConceptScore W2048443337C111335779 @default.
- W2048443337 hasConceptScore W2048443337C118615104 @default.
- W2048443337 hasConceptScore W2048443337C132525143 @default.
- W2048443337 hasConceptScore W2048443337C153269930 @default.
- W2048443337 hasConceptScore W2048443337C157486923 @default.
- W2048443337 hasConceptScore W2048443337C2524010 @default.
- W2048443337 hasConceptScore W2048443337C2780069185 @default.
- W2048443337 hasConceptScore W2048443337C33923547 @default.
- W2048443337 hasConceptScore W2048443337C37914503 @default.
- W2048443337 hasConceptScore W2048443337C41008148 @default.
- W2048443337 hasLocation W20484433371 @default.
- W2048443337 hasOpenAccess W2048443337 @default.
- W2048443337 hasPrimaryLocation W20484433371 @default.
- W2048443337 hasRelatedWork W1984301931 @default.
- W2048443337 hasRelatedWork W2078381694 @default.
- W2048443337 hasRelatedWork W2916830211 @default.
- W2048443337 hasRelatedWork W2950660287 @default.
- W2048443337 hasRelatedWork W2964662755 @default.
- W2048443337 hasRelatedWork W2965074270 @default.
- W2048443337 hasRelatedWork W2966051155 @default.
- W2048443337 hasRelatedWork W3118981124 @default.
- W2048443337 hasRelatedWork W3129827153 @default.
- W2048443337 hasRelatedWork W4300001443 @default.
- W2048443337 isParatext "false" @default.
- W2048443337 isRetracted "false" @default.
- W2048443337 magId "2048443337" @default.
- W2048443337 workType "article" @default.