{"id":"https://openalex.org/W2114780846","doi":"https://doi.org/10.1017/s0960129503004109","title":"Syntactic composition of top-down tree transducers is short cut fusion","display_name":"Syntactic composition of top-down tree transducers is short cut fusion","publication_year":2004,"publication_date":"2004-03-17","ids":{"openalex":"https://openalex.org/W2114780846","doi":"https://doi.org/10.1017/s0960129503004109","mag":"2114780846"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129503004109","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129503004109","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5097668680","display_name":"CLAUS JRGENSEN","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165059","display_name":"Hochschule f\u00fcr Technik und Wirtschaft Dresden \u2013 University of Applied Sciences","ror":"https://ror.org/05q5pk319","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210165059"]},{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"CLAUS J\u00dcRGENSEN","raw_affiliation_strings":["Faculty of Computer Science, Dresden University of Technology, Germany E-mail:","Faculty of Computer Science, Dresden University of Technology, Germany E-mail: Claus.Juergensen@Inf.TU-Dresden.DE#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Dresden University of Technology, Germany E-mail:","institution_ids":["https://openalex.org/I4210165059","https://openalex.org/I78650965"]},{"raw_affiliation_string":"Faculty of Computer Science, Dresden University of Technology, Germany E-mail: Claus.Juergensen@Inf.TU-Dresden.DE#TAB#","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013068281","display_name":"Heiko Vogler","orcid":null},"institutions":[{"id":"https://openalex.org/I4210165059","display_name":"Hochschule f\u00fcr Technik und Wirtschaft Dresden \u2013 University of Applied Sciences","ror":"https://ror.org/05q5pk319","country_code":"DE","type":"education","lineage":["https://openalex.org/I4210165059"]},{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"HEIKO VOGLER","raw_affiliation_strings":["Faculty of Computer Science, Dresden University of Technology, Germany E-mail:","Faculty of Computer Science, Dresden University of Technology, Germany E-mail: Vogler@TCS.Inf.TU-Dresden.DE"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Dresden University of Technology, Germany E-mail:","institution_ids":["https://openalex.org/I4210165059","https://openalex.org/I78650965"]},{"raw_affiliation_string":"Faculty of Computer Science, Dresden University of Technology, Germany E-mail: Vogler@TCS.Inf.TU-Dresden.DE","institution_ids":["https://openalex.org/I78650965"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9252,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.81995985,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"14","issue":"2","first_page":"215","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9757999777793884,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.8017191290855408},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.6681451797485352},{"id":"https://openalex.org/keywords/functor","display_name":"Functor","score":0.6630276441574097},{"id":"https://openalex.org/keywords/subcategory","display_name":"Subcategory","score":0.5272121429443359},{"id":"https://openalex.org/keywords/transducer","display_name":"Transducer","score":0.5116729736328125},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4838075041770935},{"id":"https://openalex.org/keywords/fusion","display_name":"Fusion","score":0.480810284614563},{"id":"https://openalex.org/keywords/category-theory","display_name":"Category theory","score":0.44688764214515686},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.43180739879608154},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3890860378742218},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3385557532310486},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.30854883790016174},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.16983601450920105},{"id":"https://openalex.org/keywords/acoustics","display_name":"Acoustics","score":0.15227603912353516},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10338631272315979},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09314537048339844}],"concepts":[{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.8017191290855408},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.6681451797485352},{"id":"https://openalex.org/C156772000","wikidata":"https://www.wikidata.org/wiki/Q864475","display_name":"Functor","level":2,"score":0.6630276441574097},{"id":"https://openalex.org/C2780617661","wikidata":"https://www.wikidata.org/wiki/Q541563","display_name":"Subcategory","level":2,"score":0.5272121429443359},{"id":"https://openalex.org/C56318395","wikidata":"https://www.wikidata.org/wiki/Q215928","display_name":"Transducer","level":2,"score":0.5116729736328125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4838075041770935},{"id":"https://openalex.org/C158525013","wikidata":"https://www.wikidata.org/wiki/Q2593739","display_name":"Fusion","level":2,"score":0.480810284614563},{"id":"https://openalex.org/C54884031","wikidata":"https://www.wikidata.org/wiki/Q217413","display_name":"Category theory","level":2,"score":0.44688764214515686},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.43180739879608154},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3890860378742218},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3385557532310486},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.30854883790016174},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.16983601450920105},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.15227603912353516},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10338631272315979},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09314537048339844},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129503004109","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129503004109","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Life in Land","score":0.5899999737739563,"id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W80136255","https://openalex.org/W84930537","https://openalex.org/W611342888","https://openalex.org/W1480753098","https://openalex.org/W1481596437","https://openalex.org/W1484394245","https://openalex.org/W1503860275","https://openalex.org/W1512845338","https://openalex.org/W1527713232","https://openalex.org/W1527876555","https://openalex.org/W1533251067","https://openalex.org/W1536939176","https://openalex.org/W1553015973","https://openalex.org/W1560599447","https://openalex.org/W1563670353","https://openalex.org/W1727820016","https://openalex.org/W1963587568","https://openalex.org/W1966981171","https://openalex.org/W1975580206","https://openalex.org/W1978715427","https://openalex.org/W1981992674","https://openalex.org/W1988343205","https://openalex.org/W1990403418","https://openalex.org/W1994920572","https://openalex.org/W2007098021","https://openalex.org/W2015076118","https://openalex.org/W2016213479","https://openalex.org/W2019469504","https://openalex.org/W2037984920","https://openalex.org/W2057292961","https://openalex.org/W2061491534","https://openalex.org/W2061786858","https://openalex.org/W2085858043","https://openalex.org/W2086722931","https://openalex.org/W2088027070","https://openalex.org/W2088544307","https://openalex.org/W2107529934","https://openalex.org/W2117818027","https://openalex.org/W2128517960","https://openalex.org/W2143566245","https://openalex.org/W2146106361","https://openalex.org/W2150256214","https://openalex.org/W2200574566","https://openalex.org/W2208923056"],"related_works":["https://openalex.org/W4238996884","https://openalex.org/W118384952","https://openalex.org/W127643655","https://openalex.org/W1588904821","https://openalex.org/W2041731129","https://openalex.org/W2949283386","https://openalex.org/W2261711942","https://openalex.org/W4366342825","https://openalex.org/W135972854","https://openalex.org/W202696773"],"abstract_inverted_index":{"We":[0,48,78],"compare":[1],"two":[2],"deforestation":[3],"techniques:":[4],"short":[5],"cut":[6],"fusion":[7,67,128],"formalised":[8],"in":[9],"category":[10,93],"theory":[11],"and":[12,25,43,63],"the":[13,27,34,50,74,80,127],"syntactic":[14],"composition":[15,95,119],"of":[16,39,52,60,73,87,101,110,120,129],"tree":[17,122],"transducers.":[18,132],"The":[19,85,99,108],"former":[20],"strongly":[21],"depends":[22],"on":[23],"types":[24,40],"uses":[26],"parametricity":[28],"property":[29],"or":[30],"free":[31],"theorem,":[32],"whereas":[33],"latter":[35],"makes":[36],"no":[37],"use":[38],"at":[41],"all":[42,88],"allows":[44],"more":[45],"general":[46],"compositions.":[47],"introduce":[49],"notion":[51],"a":[53,58,61,65,71,92,105,115],"categorical":[54,89,102,112,131],"transducer,":[55],"which":[56,69],"is":[57,70,96,104,114,124],"generalisation":[59,72],"catamorphism,":[62],"show":[64],"corresponding":[66],"result,":[68],"\u2018acid":[75],"rain":[76],"theorem\u2019.":[77],"prove":[79],"following":[81],"main":[82],"theorems:":[83],"(i)":[84],"class":[86],"transducers":[90,103,113,123],"builds":[91],"where":[94],"fusion;":[97],"(ii)":[98],"semantics":[100],"functor.":[106],"(iii)":[107],"subclass":[109],"top-down":[111,121,130],"subcategory.":[116],"(iv)":[117],"Syntactic":[118],"equivalent":[125],"to":[126]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}