{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T07:56:25Z","timestamp":1709366185003},"reference-count":25,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01n02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2024,2]]},"abstract":"<jats:p> Generalizations of another two open conjectures, Conjectures 13 and 14, of [Lagoutte, Maletti: Survey \u2014 Weighted extended top-down tree transducers \u2014 Part III: Composition. Proc. AFCS, LNCS\u00a07020, p. 272\u2013308, Springer 2011] are verified. It is proved that the composition of an unambiguous weighted extended tree transducer [Formula: see text] with a nondeleting weighted top-down tree transducer [Formula: see text] can be computed by a single weighted extended tree transducer. Extending the recent confirmation of Conjecture 11 it is also proved that the composition succeeds for any weighted top-down tree transducer [Formula: see text] (even if it is not nondeleting) if the unambiguous weighted extended tree transducer [Formula: see text] is constant. <\/jats:p>","DOI":"10.1142\/s0129054123480064","type":"journal-article","created":{"date-parts":[[2023,9,29]],"date-time":"2023-09-29T06:41:35Z","timestamp":1695969695000},"page":"107-127","source":"Crossref","is-referenced-by-count":0,"title":["Compositions of Weighted Extended Tree Transducers \u2014 The Unambiguous Case"],"prefix":"10.1142","volume":"35","author":[{"given":"Andreas","family":"Maletti","sequence":"first","affiliation":[{"name":"Universit\u00e4t Leipzig, Faculty of Mathematics and Computer Science, PO Box 100920, 04009 Leipzig, Germany"}]}],"member":"219","published-online":{"date-parts":[[2023,9,29]]},"reference":[{"key":"S0129054123480064BIB002","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90098-6"},{"key":"S0129054123480064BIB003","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054122450010"},{"key":"S0129054123480064BIB005","doi-asserted-by":"publisher","DOI":"10.2307\/2370405"},{"key":"S0129054123480064BIB006","doi-asserted-by":"publisher","DOI":"10.1007\/BF01704020"},{"issue":"1","key":"S0129054123480064BIB007","first-page":"11","volume":"7","author":"Engelfriet J.","year":"2002","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"S0129054123480064BIB008","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2011-559"},{"key":"S0129054123480064BIB009","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-72248-6"},{"key":"S0129054123480064BIB010","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-003-1072-z"},{"key":"S0129054123480064BIB011","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5_9"},{"key":"S0129054123480064BIB012","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9333-5"},{"key":"S0129054123480064BIB013","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2008.07-051-R2-03-57"},{"key":"S0129054123480064BIB014","doi-asserted-by":"publisher","DOI":"10.1142\/3903"},{"key":"S0129054123480064BIB015","doi-asserted-by":"publisher","DOI":"10.14232\/actacyb.20.2.2011.1"},{"key":"S0129054123480064BIB017","volume-title":"Statistical Machine Translation","author":"Koehn P.","year":"2010"},{"issue":"1","key":"S0129054123480064BIB018","first-page":"135","volume":"14","author":"Kuich W.","year":"1999","journal-title":"Acta Cybernetica"},{"key":"S0129054123480064BIB020","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.08.026"},{"key":"S0129054123480064BIB021","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.03.019"},{"key":"S0129054123480064BIB022","doi-asserted-by":"publisher","DOI":"10.14232\/actacyb.20.2.2011.2"},{"key":"S0129054123480064BIB023","doi-asserted-by":"publisher","DOI":"10.1137\/070699160"},{"key":"S0129054123480064BIB024","first-page":"1058","volume-title":"Proc. 48th Ann. Meeting Association for Computational Linguistics","author":"May J.","year":"2010"},{"key":"S0129054123480064BIB025","doi-asserted-by":"publisher","DOI":"10.1006\/csla.2001.0184"},{"key":"S0129054123480064BIB026","doi-asserted-by":"publisher","DOI":"10.1007\/BF01695769"},{"key":"S0129054123480064BIB027","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(70)80017-4"},{"key":"S0129054123480064BIB028","first-page":"143","volume-title":"Currents in the Theory of Computing","author":"Thatcher J. W.","year":"1973"},{"key":"S0129054123480064BIB029","first-page":"303","volume-title":"Proc. 40th Ann. Meeting Association for Computational Linguistics","author":"Yamada K.","year":"2002"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054123480064","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,15]],"date-time":"2024-02-15T02:58:19Z","timestamp":1707965899000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0129054123480064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,29]]},"references-count":25,"journal-issue":{"issue":"01n02","published-print":{"date-parts":[[2024,2]]}},"alternative-id":["10.1142\/S0129054123480064"],"URL":"https:\/\/doi.org\/10.1142\/s0129054123480064","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,9,29]]}}}